6343 search results - page 863 / 1269 » Development of a Cartographic Language |
195
click to vote
IFIP
2007
Springer
16 years 1 months ago
2007
Springer
The paper presents a new theoretical framework for coordinating an inter-unit collaborative service process towards a joint customer. The common service process is itself presente...
219
Voted
IFIP
2007
Springer
16 years 1 months ago
2007
Springer
New mobile computing technologies and the increasing use of portable devices have pushed the development of the so-called context-aware applications. This new class of applications...
208
click to vote
ISSAC
2007
Springer
16 years 1 months ago
2007
Springer
We report on a high-level categorical parallel framework, written in the Aldor language, to support high-performance computer algebra on symmetric multi-processors and multicore p...
202
click to vote
KI
2007
Springer
16 years 1 months ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
223
Voted
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...