732 search results - page 16 / 147 » A Formal Model of Provenance in Distributed Systems |
ECOOP
2008
Springer
14 years 11 months ago
2008
Springer
Wildcards are a complex and subtle part of the Java type system, present since version 5.0. Although there have been various formalisations and partial type soundness results conce...
JAR
2008
14 years 9 months ago
2008
The spreading of multicast technology enables the development of group communication and so dealing with digital streams becomes more and more common over the Internet. Given the f...
103
click to vote
HYBRID
1998
Springer
15 years 1 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
106
click to vote
LOGCOM
1998
14 years 9 months ago
1998
Perhaps the most successful agent architectures, and certainly the best known, are those based on the Belief-Desire-Intention (BDI) framework. Despite the wealth of research that ...
SIGSOFT
1998
ACM
15 years 1 months ago
1998
ACM
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...