5550 search results - page 387 / 1110 » Different Approaches to Proof Systems |
182
Voted
WOSS
2004
ACM
16 years 8 days ago
2004
ACM
The development of dependable software systems is a costly undertaking. Fault tolerance techniques as well as self-repair capabilities usually result in additional system complexi...
189
click to vote
COSIT
2001
Springer
15 years 11 months ago
2001
Springer
The simulation of human behavior in space is an extremely interesting and powerful research method to advance our understanding of human spatial cognition and the interaction of hu...
188
Voted
CAMAD
2006
IEEE
15 years 10 months ago
2006
IEEE
Switched Processing Systems (SPS) capture the essence of a fundamental resource allocation problem in many modern communication, computer and manufacturing systems involving hetero...
166
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
The information about the run-time behavior of software applications is crucial for enabling system level optimizations for embedded systems. This embedded Software Metadata inform...
173
click to vote
ECSCW
2007
15 years 8 months ago
2007
Abstract. There is a growing interest in technologies for supporting individuals to manage their accessibility for interruptions. The applicability of these technologies is likely ...