20126 search results - page 112 / 4026 » Timed Transition Systems |
127
click to vote
CSL
2004
Springer
15 years 8 months ago
2004
Springer
To reason effectively about programs, it is important to have some version of a transitive-closure operator so that we can describe such notions as the set of nodes reachable from ...
147
click to vote
DAC
2002
ACM
16 years 4 months 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...
156
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: The mechanisms underlying protein function and associated conformational change are dominated by a series of local entropy fluctuations affecting the global structure ...
FAC
2008
15 years 3 months ago
2008
Abstract. Bisimulations are well
159
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Establishing trust amongst agents is of central importance to the development of well-functioning multi-agent systems. For example, the anonymity of transactions on the Internet c...