3844 search results - page 556 / 769 » Modular interpreted systems |
199
Voted
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
New embedded systems offer rich power management features in the form of multiple operational and non-operational power modes. While they offer mechanisms for better energy effic...
180
Voted
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
138
click to vote
DSN
2008
IEEE
16 years 1 months ago
2008
IEEE
Unlike other diversity-based approaches, N-variant systems thwart attacks without requiring secrets. Instead, they use redundancy (to require an attacker to simultaneously comprom...
144
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Smartocracy is a social software system for collective decision making. The system is composed of a social network that links individuals to those they trust to make go...
173
Voted
PG
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe a computer graphics system that supports conceptual architectural design and analysis. We use as a starting point the traditional sketchbook drawings that architects u...