11397 search results - page 275 / 2280 » A Relational Abstraction for Functions |
195
click to vote
RE
2010
Springer
15 years 2 months ago
2010
Springer
The impact of non-functional requirements (NFRs) over software systems has been widely documented. Consequently, cost-effective software production method shall provide means to in...
260
click to vote
ASIACRYPT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We apply autocorrelation and Walsh coefficients for the investigation of correlation immune and resilient Boolean functions. We prove new lower bound for the absolute ind...
176
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract-- In this paper, we introduce the class of semiseparable kernel functions for use in constructing Lyapunov functions for distributed-parameter systems such as delaydiffere...
150
click to vote
IJCNN
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— During the last years, high throughput experiments have become very popular. During the analysis of such data the need for a functional grouping of genes arises. In thi...
182
click to vote
CHES
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The security challenges posed by RFID-tag deployments are wellknown. In response there is a rich literature on new cryptographic protocols and an on-tag hash function is ...