2328 search results - page 266 / 466 » Component Frameworks - A Case Study |
142
click to vote
JUCS
2010
15 years 4 months ago
2010
: There are many examples of augmented objects in the literature. Augmented objects should provide intelligence to the ambient where they are located and also they must require a l...
184
Voted
RSA
2010
15 years 4 months ago
2010
: We study a random graph model which is a superposition of bond percolation on Zd with parameter p, and a classical random graph G(n, c/n). We show that this model, being a homoge...
158
Voted
TSE
2010
15 years 4 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
152
click to vote
COMPSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
Enterprise systems are load tested for every added feature, software updates and periodic maintenance to ensure that the performance demands on system quality, availability and res...
207
Voted
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...