361 search results - page 29 / 73 » Message Sequence Charts |
TACAS
2007
Springer
14 years 1 months ago
2007
Springer
We introduce a novel approach to the smart execution of scenario-based models of reactive systems, such as those resulting from the multi-modal inter-object language of live sequen...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper, we present an asynchronous consistent global checkpoint collection algorithm which prevents contention for network storage at the file server and hence reduces the...
CRYPTO
2003
Springer
14 years 23 days ago
2003
Springer
We present a new construction based on modular groups. A novel element of our construction is to embed each input into a sequence of matrices with determinant ±1, the product of w...
APSEC
2006
IEEE
14 years 1 months ago
2006
IEEE
In many software development projects, people tend to repeat same mistakes due to lack of shared knowledge from past experiences. Generally, it is very difficult to manually find ...
CICLING
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...