1906 search results - page 37 / 382 » Dependable Self-Hosting Distributed Systems Using Constraint... |
141
click to vote
ICDM
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents a data oriented approach to modeling the complex computing systems, in which an ensemble of correlation models are discovered to represent the system status. I...
224
click to vote
ESOP
2004
Springer
15 years 7 months ago
2004
Springer
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...
ESA
2004
Springer
15 years 7 months ago
2004
Springer
Many network applications that need to distribute content and data to a large number of clients use a hybrid scheme in which one (or more) multicast channel is used in parallel to...
122
click to vote
ISSRE
2010
IEEE
15 years 11 days ago
2010
IEEE
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...
107
Voted
DSN
2000
IEEE
15 years 6 months ago
2000
IEEE
Distributed applications can fail in subtle ways that depend on the state of multiple parts of a system. This complicates the validation of such systems via fault injection, since...