2838 search results - page 313 / 568 » Verifying Controlled Components |
132
click to vote
IEEEAMS
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper demonstrates that the dependability of generic, evolving J2EE applications can be enhanced through a combination of a few recovery-oriented techniques. Our goal is to r...
132
click to vote
INFOCOM
2003
IEEE
15 years 6 months ago
2003
IEEE
— Service discovery is an integral part of the ad hoc networking to achieve stand-alone and self-configurable communication networks. In this paper, we discuss possible service ...
91
Voted
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
Modern applications for mobile computing require high performance architectures. On the other hand, there are restrictions such as storage or power consumption. The use of recon...
110
Voted
UIST
1997
ACM
15 years 5 months ago
1997
ACM
Current software suites suffer from problems due to poor integration of their individual tools. They require the designer to think of all possible integrating behaviours and leave...
107
Voted
DSN
2004
IEEE
15 years 4 months ago
2004
IEEE
Some safety-critical distributed embedded systems may need to use centralized components to achieve certain dependability properties. The difficulty in combining centralized and d...