359 search results - page 69 / 72 » Modeling Consensus in a Process Calculus |
COORDINATION
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Recently the term Web Services Orchestration has been introduced to address composition and coordination of Web Services. Several languages to describe orchestration for ...
IRI
2003
IEEE
14 years 3 months ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
HICSS
2000
IEEE
14 years 2 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
FTRTFT
1998
Springer
14 years 2 months ago
1998
Springer
PLC-Automata are a class of real-time automata suitable to describe the behavior of polling real-time systems. PLC-Automata can be compiled to source code for PLCs, a hardware wide...
TCS
2008
13 years 9 months ago
2008
This article presents formalized intuitionistic proofs for the polyhedra genus theorem, the Euler formula and a sufficient condition of planarity. They are based on a hypermap mod...