6530 search results - page 555 / 1306 » Application Integration |
154
click to vote
MACH
1993
15 years 8 months ago
1993
ent CMU Mach 3.0 microkernel exports simple timestamp and delay abstractions through host get time() and a timeout parameter to mach msg(). While this is sufficient for many purp...
151
click to vote
OSDI
1996
ACM
15 years 8 months ago
1996
ACM
This paper makes a case for paths as an explicit abstraction in operating system design. Paths provide a unifying infrastructure for several OS mechanisms that have been introduce...
168
click to vote
ICECCS
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract— Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current wo...
212
click to vote
AAMAS
2010
Springer
15 years 7 months ago
2010
Springer
Computational modeling of human belief maintenance and decision-making processes has become increasingly important for a wide range of applications. In this paper, we present a fra...
206
click to vote
ENTCS
2006
15 years 7 months ago
2006
The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications. It provides a modular and expressive formal language for specif...