664 search results - page 120 / 133 » Building continuous webbed models for system F |
186
click to vote
POPL
2006
ACM
16 years 4 days ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
166
click to vote
SIGMOD
2007
ACM
15 years 12 months ago
2007
ACM
Utility computing delivers compute and storage resources to applications as an `on-demand utility', much like electricity, from a distributed collection of computing resource...
105
Voted
ATAL
2010
Springer
15 years 28 days ago
2010
Springer
Service-oriented systems are becoming more and more nodes in a digital, dynamic ecosystem requiring the identification and establishment of flexible, spontaneous collaboration act...
120
click to vote
BMCBI
2004
14 years 11 months ago
2004
Background: DopaNet http://www.dopanet.org is a Systems Biology initiative that aims to investigate precisely and quantitatively all the aspects of neurotransmission in a specific...
196
click to vote
POPL
2008
ACM
16 years 4 days ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...