3844 search results - page 302 / 769 » Modular interpreted systems |
139
Voted
COOPIS
2002
IEEE
15 years 9 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...
124
click to vote
VL
2002
IEEE
15 years 9 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...
102
click to vote
ICDCS
1999
IEEE
15 years 8 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...
140
Voted
ISORC
1999
IEEE
15 years 8 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...
152
Voted
KI
1994
Springer
15 years 8 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...