2881 search results - page 97 / 577 » Model Checking for Programming Languages using Verisoft |
166
click to vote
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...
145
click to vote
ICSOC
2007
Springer
15 years 11 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
137
click to vote
FDL
2008
IEEE
15 years 5 months ago
2008
IEEE
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
127
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
Server-side programming is one of the key technologies that support today's WWW environment. It makes it possible to generate Web pages dynamically according to a user's...
150
click to vote
ECOOP
2006
Springer
15 years 8 months ago
2006
Springer
A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the f...