2512 search results - page 312 / 503 » Software Transactional Memory |
173
Voted
E2EMON
2006
IEEE
15 years 7 months ago
2006
IEEE
Analyzing Internet traffic at packet level involves generally large amounts of raw data, derived data, and results from various analysis tasks. In addition, the analysis often proc...
154
click to vote
FMICS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
148
click to vote
ASM
2010
ASM
15 years 7 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
139
click to vote
FMICS
2008
Springer
15 years 5 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
132
click to vote
ECIS
2004
15 years 5 months ago
2004
Web site development method is at an early stage in its evolution. Most existing methods are concerned with technical software issues and are poorly adapted to help developers thi...