2296 search results - page 76 / 460 » The Expressive Power of Synchronizations |
124
click to vote
ENTCS
2002
15 years 4 months ago
2002
We investigate a variant of dense-time Duration Calculus which permits model checking using timed/hybrid automata. We define a variant of the Duration Calculus, called Interval Du...
100
click to vote
JSC
2006
15 years 4 months ago
2006
In this paper, we analyze the complexity of a zero test for expressions built from formal power series solutions of first order differential equations with non degenerate initial ...
105
click to vote
COLING
2010
14 years 11 months ago
2010
With OWL (Web Ontology Language) established as a standard for encoding ontologies on the Semantic Web, interest has begun to focus on the task of verbalising OWL code in controll...
130
click to vote
ISLPED
2004
ACM
15 years 9 months ago
2004
ACM
In this paper we investigate the statistics of multiplier operands and identify two characteristics of their distribution that have important consequences for the design of low po...
134
click to vote
MOBISYS
2005
ACM
16 years 3 months ago
2005
ACM
Abstract-Maintaining optimal consistency in a distributed system requires that nodes be always-on to synchronize information. Unfortunately, mobile devices such as laptops do not h...