3009 search results - page 357 / 602 » The Expressive Rate of Constraints |
143
click to vote
COSIT
2007
Springer
16 years 26 days 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...
161
click to vote
ECSQARU
2007
Springer
16 years 25 days 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...
165
click to vote
FSTTCS
2007
Springer
16 years 25 days 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...
152
click to vote
ICWL
2007
Springer
16 years 25 days 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-...
184
click to vote
ISOLA
2007
Springer
16 years 25 days 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: ...