670 search results - page 77 / 134 » Modeling Workflow within Distributed Systems |
122
Voted
CASCON
1996
15 years 3 months ago
1996
The correct and ecient management of data in distributed databases or mobile computing environments is dicult. Communication disruptions within such systems render the execution o...
157
Voted
IANDC
2007
15 years 2 months ago
2007
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
106
Voted
EDOC
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper we introduce an analysis framework for mobile workforce automation. The framework is based on the findings from earlier research as well as on an analysis of 27 rec...
146
click to vote
DAC
1996
ACM
15 years 6 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
115
Voted
GISCIENCE
2004
Springer
15 years 8 months ago
2004
Springer
This paper addresses the issue of how to disseminate relevant information to mobile agents within a geosensor network. Conventional mobile and location-aware systems are founded on...