3047 search results - page 255 / 610 » A Temporal Consensus Model |
192
click to vote
IJCSA
2007
15 years 6 months ago
2007
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
163
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose a new method for detecting the musical instruments that are present in single-channel mixtures. Such a task is of interest for audio and multimedia content analysis and...
175
click to vote
ECOWS
2007
Springer
16 years 24 days ago
2007
Springer
Service engineering and service-oriented architecture as an integration and platform technology is a recent approach to software systems integration. Software quality aspects such ...
163
click to vote
FSTTCS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
171
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...