518 search results - page 46 / 104 » Tool Presentation: Teaching Concurrency and Model Checking |
DAC
2007
ACM
14 years 9 months ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
SPIN
2007
Springer
14 years 2 months ago
2007
Springer
Boolean programs are frequently used to model abstractions of software programs. They have the advantage that reachability properties are decidable, despite the fact that their sta...
FM
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
ICCSA
2004
Springer
2004
Springer
Task Modeling in Computer Supported Collaborative Learning Environments to Adapt to Mobile Computing
14 years 2 months ago
Using the new wireless technologies, mobile devices with small displays (handhelds, PDAs, mobile phones) are present in many environments. We are interested in the effective use of...