1728 search results - page 72 / 346 » Formal Modeling of Process Migration |
92
Voted
CONCUR
2006
Springer
15 years 2 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
106
click to vote
COOPIS
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
WSC
2004
15 years 12 days ago
2004
In standard optimistic parallel event simulation, no restriction exists on the maximum lag in simulation time between the fastest and slowest logical processes (LPs). Overoptimist...
115
click to vote
KIVS
2009
Springer
15 years 5 months ago
2009
Springer
User Interfaces for Mobile Processes Sonja Zaplata, Ante Vilenica, Dirk Bade, Christian P. Kunze Distributed Systems and Information Systems, Computer Science Department, Universit...
JCP
2007
14 years 11 months ago
2007
— Currently, context awareness is one of the main trends in distributed mobile computing environments. Against this background, the demand for more complex – and additionally l...