4305 search results - page 581 / 861 » Analysing Protocol Implementations |
136
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
149
click to vote
DELTA
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an approach to the synthesis of fault-tolerant hard real-time systems for safety-critical applications. We use checkpointing with rollback recovery and active replicati...
119
click to vote
CONEXT
2006
ACM
15 years 10 months ago
2006
ACM
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...
165
click to vote
ERLANG
2006
ACM
15 years 10 months ago
2006
ACM
Termite Scheme is a variant of Scheme intended for distributed computing. It offers a simple and powerful concurrency model, inspired by the Erlang programming language, which is ...
137
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
Several kinds of call-ordering problems have been identified, all of which present subtle difficulties in ensuring the correctness of a sequential program. They include object pro...