2496 search results - page 405 / 500 » Error-detecting properties of languages |
105
Voted
CIKM
2007
Springer
15 years 7 months ago
2007
Springer
Spatio-temporal databases deal with geometries changing over time. In general, geometries do not only change discretely but continuously; hence we are dealing with moving objects....
CONCUR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. When dealing with process calculi and automata which express both nondeterministic and probabilistic behavior, it is customary to introduce the notion of scheduler to res...
107
click to vote
COORDINATION
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We introduce an object-oriented referencing abstraction to express coordination between objects hosted on mobile devices interconnected by a wireless ad hoc network. On t...
106
click to vote
COORDINATION
2007
Springer
15 years 7 months ago
2007
Springer
Connectors have emerged as a powerful concept for composition and coordination of concurrent activities encapsulated as components and services. Compositional coordination models a...
141
click to vote
CP
2007
Springer
15 years 7 months ago
2007
Springer
While many real-world combinatorial problems can be advantageously modeled and solved using Constraint Programming, scalability remains a major issue in practice. Constraint models...