1624 search results - page 153 / 325 » Integrating Fault-Tolerant Techniques into the Design of Cri... |
192
click to vote
MM
2003
ACM
15 years 11 months ago
2003
ACM
Optimizing user experience for streaming video applications on handheld devices is a significant research challenge. In this paper, we propose an integrated power management appr...
148
click to vote
ISARCS
2010
15 years 8 months ago
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
154
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Executing critical systems often rely on humans to make important and sometimes life-critical decisions. As such systems become more complex, the potential for human error to lead...
188
click to vote
ICPADS
2002
IEEE
15 years 11 months ago
2002
IEEE
Network emulation systems are widely used to explore the behavior of network protocols and to test and evaluate protocol implementations and applications. The major problem of net...
252
click to vote
B
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...