1884 search results - page 126 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
ICAC
2006
IEEE
15 years 4 months ago
2006
IEEE
Abstract— Shared computing utilities allocate compute, network, and storage resources to competing applications on demand. An awareness of the demands and behaviors of the hosted...
HYBRID
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper derives an optimization-based control methodology for networks of switched and hybrid systems in which each mode is governed by a partial differential equatio...
DAC
2007
ACM
15 years 1 months ago
2007
ACM
Synthetic biology is revolutionizing how we conceptualize and approach the engineering of biological systems. Recent advances in the field are allowing us to expand beyond the con...
SAC
2008
ACM
14 years 9 months ago
2008
ACM
In this paper, we present the idea of offline count-limited certificates (or clics for short), and show how these can be implemented using minimal trusted hardware functionality a...
120
click to vote
ICSEA
2009
IEEE
14 years 7 months ago
2009
IEEE
The emerging Model-Driven Engineering paradigm advocates the use of models as first-class citizens in the software development process, while artifacts such as documentation and so...