427 search results - page 59 / 86 » On the Power of Labels in Transition Systems |
CDC
2009
IEEE
15 years 27 days ago
2009
IEEE
In this paper, we study the reachability problem for the class of (strictly) monotone Petri nets that we define based on algebraic conditions. More specifically, given a (strictly)...
103
click to vote
ENTCS
2008
14 years 12 months ago
2008
Team automata are a formalism for the component-based specification of reactive, distributed systems. Their main feature is a flexible technique for specifying coordination patter...
103
click to vote
ENTCS
2006
14 years 11 months ago
2006
Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We pres...
113
click to vote
FORTE
2009
14 years 9 months ago
2009
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
105
click to vote
DAC
2002
ACM
16 years 22 days ago
2002
ACM
Previous work on DRAM power-mode management focused on hardware-based techniques and compiler-directed schemes to explicitly transition unused memory modules to low-power operatin...