4350 search results - page 376 / 870 » Case studies for contract-based systems |
182
click to vote
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
245
click to vote
TPHOL
2006
IEEE
16 years 25 days ago
2006
IEEE
This case study shows how ACL2 can be used to reason about the real and complex numbers, using non-standard analysis. It describes some modifications to ACL2 that include the irr...
192
Voted
BSN
2009
IEEE
15 years 12 months ago
2009
IEEE
— Faults in WSN are very common and appear in different levels of the system. For pervasive applications to be adopted by end-users there is a need for autonomic selfhealing. Thi...
149
click to vote
USS
2008
15 years 9 months ago
2008
This paper presents a new technique for exploiting heap overflows in JavaScript interpreters. Briefly, given a heap overflow, JavaScript commands can be used to insure that a func...
169
click to vote
ECEASST
2007
15 years 6 months ago
2007
In this age of complex business landscapes, many enterprises turn to SOA for aligning their IT portfolio with their business. Because of the enormous business risk involved with r...