3009 search results - page 357 / 602 » The Expressive Rate of Constraints |
165
click to vote
COSIT
2007
Springer
16 years 1 months ago
2007
Springer
In order to apply advanced high-level concepts for transportation networks, like hypergraphs, multi-level wayfinding and traffic forecasting, to commercially available street netwo...
178
click to vote
ECSQARU
2007
Springer
16 years 1 months ago
2007
Springer
We describe COBA 2.0, an implementation of a consistency-based framework for expressing belief change, focusing on revision and contraction (possibly) incorporating integrity cons...
189
click to vote
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
170
click to vote
ICWL
2007
Springer
16 years 1 months ago
2007
Springer
AGILMAT is a web application designed to help students learn Mathematics, with focus on high-school algebra and calculus drills. A modular and extensible architecture and a wizard-...
198
click to vote
ISOLA
2007
Springer
16 years 1 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...