2836 search results - page 185 / 568 » Towards Hovering Information |
EDO
2000
Springer
14 years 2 months ago
2000
Springer
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...
IFM
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. This paper introduces the ISpec approach to interface specification. ISpec supports the development of interface specifications at various levels of formality and detail ...
VLDB
2000
ACM
14 years 1 months ago
2000
ACM
Database technology is one of the cornerstones for the new millennium's IT landscape. However, database systems as a unit of code packaging and deployment are at a crossroad:...
DESRIST
2009
Springer
14 years 1 months ago
2009
Springer
Online communities are increasingly important in modern social life. Yet, the diverse collection of guidelines that have directed online community design may not be keeping pace w...
ATAL
2008
Springer
14 years 12 days ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...