1124 search results - page 24 / 225 » Refined quorum systems |
139
click to vote
DATE
2008
IEEE
15 years 3 months ago
2008
IEEE
Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile handheld devices. In this contex...
100
click to vote
DAC
1998
ACM
16 years 2 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
115
click to vote
APSEC
1998
IEEE
15 years 6 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
156
click to vote
CIBSE
2008
ACM
15 years 3 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
101
click to vote
IEICET
2006
15 years 1 months ago
2006
In this paper 1 , we shall describe about a refined theory based on the concept of set-valued operators, suitable for available operation of extremely complicated large-scale netwo...