518 search results - page 98 / 104 » Tool Presentation: Teaching Concurrency and Model Checking |
104
click to vote
MIDDLEWARE
2004
Springer
15 years 5 months ago
2004
Springer
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...
106
click to vote
ETFA
2006
IEEE
15 years 3 months ago
2006
IEEE
Wireless sensor networks (WSN) consist of small self-contained devices with computational, sensing and wireless communication capabilities. They allow flexible, powerful, tetherles...
112
click to vote
SIGSOFT
2007
ACM
16 years 11 days ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
TACAS
2009
Springer
15 years 6 months ago
2009
Springer
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
ERLANG
2008
ACM
15 years 1 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...