400 search results - page 47 / 80 » An Extensible Meta-Model for Program Analysis |
EGC
2005
Springer
15 years 5 months ago
2005
Springer
A major challenge facing grid applications is the appropriate handling of failures. In this paper we address the problem of making parallel Java applications based on Remote Method...
181
click to vote
ECOOP
2009
Springer
16 years 12 days ago
2009
Springer
Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...
DOCENG
2003
ACM
15 years 5 months ago
2003
ACM
To support the rapid growth of the web and e-commerce, W3C developed DOM as an application programming interface that the abstract, logical tree structure of an XML document. In t...
227
click to vote
POPL
2001
ACM
16 years 2 days ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
118
click to vote
GI
2009
Springer
14 years 9 months ago
2009
Springer
: Data management in the life sciences has evolved from simple storage of data to complex information systems providing additional functionalities like analysis and visualization c...