2746 search results - page 460 / 550 » Case Study in Survivable Network System Analysis |
150
click to vote
CAV
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
113
click to vote
HUC
2010
Springer
14 years 11 months ago
2010
Springer
Life-log systems have a wide range of usages from memory augmentation to health monitoring. Recent advances in pervasive devices and sensor networks enable us to create tools that...
148
click to vote
DSRT
2003
IEEE
15 years 6 months ago
2003
IEEE
“Smart Things” are commonly understood as wireless ad-hoc networked, mobile, autonomous, special purpose computing appliances, usually interacting with their environment impli...
112
click to vote
FORTE
2000
15 years 2 months ago
2000
The adventof multipoint(multicast-based) applications and the growth and complexity of the Internet has complicated network protocol design and evaluation. In this paper, we prese...
107
click to vote
TC
2008
15 years 1 months ago
2008
Synchronous systems offer clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models a...