854 search results - page 162 / 171 » Addressing Dynamic Issues of Program Model Checking |
153
click to vote
SIGMOD
2006
ACM
15 years 11 months ago
2006
ACM
The networking and distributed systems communities have recently explored a variety of new network architectures, both for applicationlevel overlay networks, and as prototypes for...
85
Voted
ISPD
2006
ACM
15 years 5 months ago
2006
ACM
Advanced process technologies call for a proactive consideration of process variations in design to ensure high parametric timing yield. Despite of its popular use in almost any h...
126
click to vote
WORDS
2003
IEEE
15 years 5 months ago
2003
IEEE
Service Oriented Programming - which combines Distributed Object Compunting, Component Based and webbased concepts - has recently emerged as a promising approach to develop dynami...
125
click to vote
JNCA
2011
14 years 6 months ago
2011
Built upon a shared wireless medium, wireless mesh network is particularly vulnerable to jamming attacks. The ability to recover from attacks and maintain an acceptable level of s...
112
Voted
EUROSYS
2010
ACM
15 years 8 months ago
2010
ACM
Cloud computing offers users the ability to access large pools of computational and storage resources on demand. Multiple commercial clouds already allow businesses to replace, or...