3856 search results - page 447 / 772 » Models for Automated Earthmoving |
165
click to vote
DEON
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In this paper we investigate the specification and verification of information systems with an organizational structure. Such systems are modelled as a normative multia...
202
click to vote
ECOWS
2004
Springer
16 years 3 days ago
2004
Springer
Several extensions of the Web Services Framework have been proposed. The combination with Semantic Web technologies introduces a notion of semantics, which can enhance scalability ...
167
click to vote
GI
2004
Springer
16 years 3 days ago
2004
Springer
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
147
click to vote
KR
2004
Springer
16 years 2 days ago
2004
Springer
Modeling complex compositional objects in the field of the life sciences requires to solve intricate ontological problems, especially those related to parts of a whole, space and...
177
click to vote
NMR
2004
Springer
16 years 2 days ago
2004
Springer
In Answer Set Programming it is not possible to deduce any conclusion from an inconsistent program (ie: a program that has no model). The same issue occurs in classical logic wher...