Sciweavers

9518 search results - page 229 / 1904
» On Mobility of Software Processes
Sort
View
MDM
2004
Springer
15 years 11 months ago
Obstacles to the Adoption of Mobile Agents
The idea of mobile software agents has inspired many researchers ever since the term was coined probably by Jim White of General Magic around 1994, although the principal idea is ...
Volker Roth
149
Voted
FOSSACS
2006
Springer
15 years 9 months ago
Reversing Algebraic Process Calculi
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...
Iain C. C. Phillips, Irek Ulidowski
FOSSACS
2008
Springer
15 years 7 months ago
Structural Operational Semantics for Stochastic Process Calculi
Abstract. A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeter...
Bartek Klin, Vladimiro Sassone
WWW
2001
ACM
16 years 6 months ago
iMobile: An Agent-Based Platform for Mobile Services
iMobile is a platform that addresses the research issues in building mobile services. iMobile acts as a message gateway that allows mobile devices using various protocols on diffe...
Herman Chung-Hwa Rao, Yih-Farn Chen, Di-Fa Chang, ...
FOSSACS
2006
Springer
15 years 9 months ago
Parity Games Played on Transition Graphs of One-Counter Processes
We consider parity games played on special pushdown graphs, namely those generated by one-counter processes. For parity games on pushdown graphs, it is known from [22] that decidin...
Olivier Serre