518 search results - page 76 / 104 » Tool Presentation: Teaching Concurrency and Model Checking |
AMAST
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
WEBI
2004
Springer
14 years 27 days ago
2004
Springer
In order to achieve optimal efficiency in a learning process, individual learner needs his/her own personalized assistance. For a web-based open and dynamic learning environment, ...
VRML
2010
ACM
13 years 11 months ago
2010
ACM
In this paper, we describe a case study in usability engineering for Web3D learning systems and introduce a new step to the typical methods of the usability design. Pedagogical ap...
CHI
2010
ACM
13 years 4 months ago
2010
ACM
Teaching is inherently a social interaction between teacher and student. Despite this knowledge, many educational tools, such as vocabulary training programs, still model the inte...
BPM
2005
Springer
14 years 1 months ago
2005
Springer
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...