1837 search results - page 269 / 368 » Architecture = Abstractions over Software |
87
Voted
VMCAI
2007
Springer
15 years 6 months ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
108
Voted
CASES
2009
ACM
15 years 7 months ago
2009
ACM
Networks of ultra-low-power nodes capable of sensing, computation, and wireless communication have applications in medicine, science, industrial automation, and security. Over the...
106
Voted
SIGCOMM
2009
ACM
15 years 7 months ago
2009
ACM
Virtualization enables multiple networks, each customized for a particular purpose, to run concurrently over a shared substrate. One such model for managing these virtual networks...
117
click to vote
CCGRID
2001
IEEE
15 years 4 months ago
2001
IEEE
- With the progress of research on cluster computing, more and more universities have begun to offer various courses covering cluster computing. A wide variety of content can be ta...
139
click to vote
TCOS
2010
14 years 7 months ago
2010
With the increasing wealth of digital information stored on computer systems today, security issues have become increasingly important. In addition to attacks targeting the softwar...