783 search results - page 105 / 157 » The Bio-PEPA Tool Suite |
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 ...
ESAS
2007
Springer
14 years 2 months ago
2007
Springer
RFID-tags can be seen as a new generation of bar codes with added functionality. They are becoming very popular tools for identification of products in various applications such a...
GI
2007
Springer
14 years 2 months ago
2007
Springer
: Agent-based simulation can be viewed as methodical advancement and generalization of microscopic modelling styles in object-oriented and discrete event simulation well suited for...
SPIN
2007
Springer
14 years 2 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
AICT
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...