3844 search results - page 302 / 769 » Modular interpreted systems |
175
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract. In recent years ontologies – shared conceptualizations of some domain – are increasingly seen as the key to further automation of information processing. Although man...
153
click to vote
VL
2002
IEEE
15 years 11 months ago
2002
IEEE
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...
139
click to vote
ICDCS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper examines the problem of building scalable, fault-tolerant distributed systems from collections of communicating process groups, while maintaining well-defined end-to-en...
177
click to vote
ISORC
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
186
click to vote
KI
1994
Springer
15 years 10 months ago
1994
Springer
The paper presentsa method for terminological reasoningabout spatial objects on the basis of a KL-ONE-like framework (LOOM). We apply this method to the domain of deductive geograp...