3719 search results - page 412 / 744 » Pellet System Description |
207
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
Abstract. Many modern systems are designed as a set of interconnected reactive subsystems. The subsystem verification task is to verify an implementation of the subsystem against t...
184
click to vote
ISSS
1995
IEEE
15 years 10 months ago
1995
IEEE
higher levels of abstraction, due to the still increasing design complexities that can be expected in the near future. Behavioral synthesis can play a key role in this prospect, as...
147
click to vote
ECML
1991
Springer
15 years 10 months ago
1991
Springer
This paper presents an approach to domain modeling and knowledge acquisition that consists of a gradual and goal-driven improvement of an incomplete domain model provided by a hum...
169
click to vote
FLAIRS
2008
15 years 9 months ago
2008
Typical application fields of spatial and spatio-temporal representation formalisms and reasoning techniques include geographic information systems (GIS), mobile assistance system...
188
click to vote
CAISE
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...