1912 search results - page 56 / 383 » On the evaluation of argumentation formalisms |
121
click to vote
NCA
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
SIGSOFT
2008
ACM
16 years 17 days ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
103
click to vote
TLDI
2009
ACM
15 years 8 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
104
click to vote
FORMATS
2009
Springer
15 years 6 months ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
FM
1999
Springer
15 years 4 months ago
1999
Springer
Conformance control for ATM cells is based on a real-time reactive algorithm which delivers a value depending on inputs from the network. This value must always agree with a well d...