1078 search results - page 42 / 216 » Modelling and Verifying of e-Commerce Systems |
104
click to vote
ICSE
2010
IEEE-ACM
15 years 1 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
EMSOFT
2004
Springer
15 years 5 months ago
2004
Springer
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...
ACSD
2009
IEEE
15 years 6 months ago
2009
IEEE
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...
106
click to vote
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-ti...
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
A study of over 2000 students and professionals who used the Inspire e-negotiation system led Vetschera, Kersten and Koeszegi [1] to the formulation of an assessment model for int...