592 search results - page 74 / 119 » Can Component Service-Based Systems Be Proved Correct |
138
Voted
OTM
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we will concentrate on the conceptual modeling and semantics of service delegation and alignment in information systems. In delegation, one typically has the situatio...
158
click to vote
ICDCN
2009
Springer
15 years 10 months ago
2009
Springer
Given a set of robots with arbitrary initial location and no agreement on a global coordinate system, convergence requires that all robots asymptotically approach the exact same, ...
119
Voted
ICPP
1998
IEEE
15 years 7 months ago
1998
IEEE
The crew planning problem has been successfully solved on a loosely connected network of workstations (NOW) using advanced computational techniques and efficient communication pat...
150
Voted
ICLP
1997
Springer
15 years 7 months ago
1997
Springer
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...
149
Voted
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
We develop a widely applicable algorithm to solve the fault diagnosis problem in certain distributed-memory multiprocessor systems in which there are a limited number of faulty pr...