318 search results - page 45 / 64 » An Experimental Ambiguity Detection Tool |
169
click to vote
KBSE
2008
IEEE
16 years 16 days 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 ...
142
click to vote
NCA
2007
IEEE
16 years 13 days 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...
170
click to vote
AINA
2006
IEEE
16 years 6 days 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. ...
138
click to vote
CIBCB
2005
IEEE
15 years 11 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...
179
click to vote
ICPADS
2005
IEEE
15 years 11 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...