284 search results - page 8 / 57 » Labels and event processes in the Asbestos operating system |
ENTCS
2007
14 years 9 months ago
2007
There is a growing interest in models of reversible computation driven by exciting application areas such as bio-systems and quantum computing. Reversible process algebras RCCS [2...
62
Voted
DASFAA
2005
IEEE
15 years 3 months ago
2005
IEEE
Reducing the latency of information delivery in an event driven world has always been a challenge. It is often necessary to completely capture the attributes of events and relation...
85
Voted
BIRTHDAY
2005
Springer
15 years 3 months ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...
101
click to vote
DEBS
2009
ACM
15 years 4 months ago
2009
ACM
The nature of data in enterprises and on the Internet is changing. Data used to be stored in a database first and queried later. Today timely processing of new data, represented ...
WSC
2004
14 years 11 months ago
2004
As the U.S. Department of Homeland Security works to create an integrated emergency response system, it is evident that computer-based solutions can support this process. Individu...