1615 search results - page 79 / 323 » Distributed Forward Checking |
ECOOP
2008
Springer
13 years 9 months ago
2008
Springer
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Seses provide high-level abstraction for stru...
EMSOFT
2006
Springer
13 years 9 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
ETFA
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper discusses systematic approaches to the design of distributed controllers in industrial automation systems. Several design approaches are compared that lead to the distr...
IPTPS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. CorSSO is a distributed service for authentication in networks. It allows application servers to delegate client identity checking to combinations of authentication serve...
ICCI
1993
13 years 12 months ago
1993
A distributed algorithm for finding an ear decomposition of an asynchronous communication network with n nodes and m links is presented in this paper. At the completion of the alg...