318 search results - page 45 / 64 » An Experimental Ambiguity Detection Tool |
KBSE
2008
IEEE
14 years 2 months ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
NCA
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper, we present an approach for software rejuvenation based on automated self-healing techniques that can be easily applied to off-the-shelf Application Servers and Inte...
AINA
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— Wireless sensor networks, by providing an unprecedented way of interacting with the physical environment, have become a hot topic for research over the last few years. ...
CIBCB
2005
IEEE
14 years 1 months ago
2005
IEEE
— Proteins have been discovered to contain ordered regions and disordered regions, where ordered regions have a defined three-dimensional (3D) structure and disordered regions d...
ICPADS
2005
IEEE
14 years 1 months ago
2005
IEEE
This work presents a new comparison-based diagnosis model and a new algorithm, called Hi-Dif, based on this model. The algorithm is used for checking the integrity of systems with...