1054 search results - page 171 / 211 » Translation Validation of System Abstractions |
210
click to vote
TACAS
2000
Springer
15 years 9 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
150
click to vote
ISSRE
2007
IEEE
15 years 7 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
181
click to vote
INFORMATICALT
2000
15 years 5 months ago
2000
Abstract. In this paper we suggest a three-language (3L) paradigm for building the program generator models. The basis of the paradigm is a relationship model of the specification,...
160
click to vote
SIGMOD
1998
ACM
15 years 5 months ago
1998
ACM
Abstract New application areas or new technical innovations expect from database management systems more and more new functionality. However, adding functions to the DBMS as an int...
172
click to vote
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
Abstract—BitTorrent has been the most popular P2P (Peer-toPeer) paradigm during recent years. Built upon great intuition, the piece-selection and neighbor-selection modules roote...