2296 search results - page 210 / 460 » The Expressive Power of Synchronizations |
163
click to vote
FORMATS
2005
Springer
16 years 4 days ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...
189
click to vote
ICNC
2005
Springer
16 years 3 days ago
2005
Springer
We have developed a calculus, called Ipi, for describing the aberrance in biological models. Our approach extends the traditional pi calculus to handle aberrant process in the sign...
165
click to vote
MFCS
2005
Springer
16 years 3 days ago
2005
Springer
We compare the expressive power of two automata-based finite-state models of concurrency. We show that Droste’s and Kuske’s coherent stably concurrent automata and Bednarczyk...
177
click to vote
SEMWEB
2005
Springer
16 years 2 days ago
2005
Springer
We propose a declarative update language for RDF graphs which is based on the paradigms of query and view languages RQL and RVL. Our language, called RUL, ensures that the executio...
197
click to vote
ADS
2004
Springer
16 years 14 hour ago
2004
Springer
Laughter is a powerful means of emotion expression which has not yet been used in speech synthesis. The current paper reports on a pilot study in which differently created types of...