Sciweavers

1792 search results - page 223 / 359
» Ontology Modeling Using UML
Sort
View
FMICS
2007
Springer
14 years 4 months ago
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
Maurice H. ter Beek, Alessandro Fantechi, Stefania...
HCI
2009
13 years 8 months ago
OntoDesk: Ontology-Based Persistent System-Wide Undo on the Desktop
Recovery is an important aspect of user experience. However, current desktop environments lack a system-wide undo facility. OntoDesk is an ontology-based experimental desktop syste...
David Nemeskey, Buntarou Shizuki, Jiro Tanaka
DATE
2003
IEEE
133views Hardware» more  DATE 2003»
14 years 3 months ago
A Flexible Object-Oriented Software Architecture for Smart Wireless Communication Devices
This paper describes the design considerations of and preliminary conclusions drawn from an ongoing project dealing with the design of a software architecture for a family of so-c...
Marco Göltze
VLDB
2002
ACM
110views Database» more  VLDB 2002»
13 years 10 months ago
Extending an ORDBMS: The StateMachine Module
Extensibility is one of the mayor benefits of object-relational database management systems. We have used this system property to implement a StateMachine Module inside an object-...
Wolfgang Mahnke, Christian Mathis, Hans-Peter Stei...
COOPIS
2003
IEEE
14 years 3 months ago
Ontology Based Query Processing in Database Management Systems
The use of semantic knowledge in its various forms has become an important aspect in managing data in database and information systems. In the form of integrity constraints, it ha...
Chokri Ben Necib, Johann Christoph Freytag