2644 search results - page 155 / 529 » Complex Interacting Infrastructure Systems |
175
click to vote
SIGCSE
2009
ACM
16 years 3 months ago
2009
ACM
Complex distributed systems are increasingly important in modern computer science, yet many undergraduate curricula do not give students the opportunity to develop the skill sets ...
112
click to vote
ENTCS
2000
15 years 3 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
114
Voted
RTSS
2009
IEEE
15 years 10 months ago
2009
IEEE
In complex hard real-time systems with tight constraints on system resources, small changes in one component of a system can cause a cascade of adverse effects on other parts of t...
165
click to vote
JAISE
2010
14 years 10 months ago
2010
In this paper we review the emerging field of responsive environments as an ambient intelligence system with a focus on user experience. We see responsive environments as a combina...
119
Voted
SOSP
2007
ACM
16 years 5 days ago
2007
ACM
We introduce a new reliability infrastructure for file systems called I/O shepherding. I/O shepherding allows a file system developer to craft nuanced reliability policies to de...