2231 search results - page 378 / 447 » Alternation as a programming paradigm |
143
click to vote
CSMR
2007
IEEE
15 years 11 months ago
2007
IEEE
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
158
Voted
DSN
2007
IEEE
15 years 11 months ago
2007
IEEE
Transient faults are emerging as a critical concern in the reliability of general-purpose microprocessors. As architectural trends point towards multi-threaded multi-core designs,...
131
click to vote
DSN
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper concerns the validity of a widely used method for estimating the architecture-level mean time to failure (MTTF) due to soft errors. The method first calculates the fai...
144
Voted
ICMCS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper investigates a novel concept of providing seamless control and portability of an IPTV viewing session. A solution employing a middleware system, a secure hardware token...
158
Voted
ISORC
2007
IEEE
15 years 10 months ago
2007
IEEE
As quality of service (QoS)-enabled component middleware technologies gain widespread acceptance to build distributed real-time and embedded (DRE) systems, it becomes necessary fo...