1078 search results - page 176 / 216 » Modelling and Verifying of e-Commerce Systems |
119
click to vote
KBSE
2008
IEEE
15 years 8 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 ...
MMM
2007
Springer
15 years 8 months ago
2007
Springer
Recently, much attention has been paid on data-driven (or swarm-like) based live streaming systems due to its rapid growth in deployment over Internet. In such systems, nodes rando...
FROCOS
2005
Springer
15 years 7 months ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
108
click to vote
IRI
2003
IEEE
15 years 7 months ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
125
click to vote
COSIT
2003
Springer
15 years 7 months ago
2003
Springer
Numerous cognitive studies have indicated that the form and complexity of route instructions may be as important to human navigators as the overall length of route. Most automated ...