5639 search results - page 1028 / 1128 » Timed Abstract Non-interference |
129
Voted
SPAA
2009
ACM
15 years 11 months ago
2009
ACM
Abstract. At-most-once semantics is one of the standard models for object access in decentralized systems. Accessing an object, such as altering the state of the object by means of...
119
click to vote
EUROSYS
2008
ACM
15 years 10 months ago
2008
ACM
The tuple space coordination model is one of the most interesting coordination models for open distributed systems due to its space and time decoupling and its synchronization pow...
140
Voted
EWSN
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We target application domains where the behavior of animals or humans is monitored using wireless sensor network (WSN) devices. The code on these devices is updated frequ...
118
click to vote
ICCD
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— Over the last decade, the design of ultra-lowpower digital circuits in subthreshold regime has been driven by the quest for minimum energy per operation. In this contri...
ICCD
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— Noise induced by impedance discontinuities from VLSI packaging is one of the leading challenges facing system level designers in the next decade. The performance of IC ...