1012 search results - page 27 / 203 » Process Algebra with Backtracking |
IEEEARES
2010
IEEE
14 years 2 months ago
2010
IEEE
Abstract—Abstract virology has seen the apparition of successive viral models, all based on Turing-equivalent formalisms. Considering recent malware, these are only partially cov...
ICC
2008
IEEE
14 years 2 months ago
2008
IEEE
—As a resource reservation mechanism, the Resource ReSerVation Protocol (RSVP) faces a lot of challenges when applying it to the wireless and mobile networks. The interworking pr...
CONCUR
2001
Springer
14 years 9 days ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
ICCL
1998
IEEE
14 years 1 days ago
1998
IEEE
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...
ICFEM
1998
Springer
14 years 11 hour ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...