3384 search results - page 117 / 677 » More Testable Properties |
SASO
2010
IEEE
13 years 6 months ago
2010
IEEE
Self-organising systems are a popular engineering concept for designing decentralised autonomic computing systems. They are able to find solutions in complex and versatile problem ...
BMCBI
2008
13 years 9 months ago
2008
Background: The explosive growth of biological data provides opportunities for new statistical and comparative analyses of large information sets, such as alignments comprising te...
ICDE
2006
IEEE
14 years 10 months ago
2006
IEEE
In this paper, we study a new type of spatial query, Nearest Surrounder (NS), which searches the nearest surrounding spatial objects around a query point. NS query can be more use...
ICFP
2001
ACM
14 years 8 months ago
2001
ACM
The categorical notion of monad, used by Moggi to structure denotational descriptions, has proved to be a powerful tool for structuring combinator libraries. Moreover, the monadic...
WWW
2010
ACM
14 years 3 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...