1076 search results - page 178 / 216 » Supporting Design Patterns with Annotations |
142
click to vote
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Norm-governed virtual organizations define, govern and facilitate coordinated resource sharing and problem solving in societies of agents. With an explicit account of norms, openn...
124
click to vote
HASKELL
2008
ACM
15 years 3 months ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
136
click to vote
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
124
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Genetic interaction profiles are highly informative and helpful for understanding the functional linkages between genes, and therefore have been extensively exploited ...
BMCBI
2007
15 years 2 months ago
2007
Background: Cellular processes depend on the function of intracellular molecular networks. The curation of the literature relevant to specific biological pathways is important for...