1728 search results - page 44 / 346 » Formal Modeling of Process Migration |
WSC
2008
15 years 1 months ago
2008
This paper presents PiDES, a formalism for discrete event simulation based on Pi-calculus. PiDES provides a rigorous semantics of behavior modeling and coordination for simulation...
82
Voted
DAIS
2006
15 years 9 days ago
2006
Abstract. Mobile devices are increasingly aware of their respective locations and vicinity and tend to communicate rather loosely with each other; therefore asynchronous communicat...
106
click to vote
ICDCSW
2002
IEEE
15 years 3 months ago
2002
IEEE
There are many challenges in devising solutions for online content processing of live networked multimedia sessions. These include the computational complexity of feature extracti...
81
Voted
UML
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
101
click to vote
ISKI
1994
15 years 3 months ago
1994
There is a manifold of meanings we could associate with the term \evolution" in the database arena. This paper tries to categorize some of these into a unique framework, showi...