Sciweavers

129 search results - page 3 / 26
» Supporting concurrent ontology development: Framework, algor...
Sort
View
TACAS
1998
Springer
115views Algorithms» more  TACAS 1998»
14 years 22 days ago
MESA: Support for Scenario-Based Design of Concurrent Systems
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...
Hanêne Ben-Abdallah, Stefan Leue
PASTE
2010
ACM
14 years 4 days ago
The RoadRunner dynamic analysis framework for concurrent programs
ROADRUNNER is a dynamic analysis framework designed to facilitate rapid prototyping and experimentation with dynamic analyses for concurrent Java programs. It provides a clean API...
Cormac Flanagan, Stephen N. Freund
ESWS
2009
Springer
14 years 3 months ago
Ontology Libraries for Production Use: The Finnish Ontology Library Service ONKI
Abstract. This paper discusses problems of creating and using ontology library services in production use. One approach to a solution is presented with an online implementation—t...
Kim Viljanen, Jouni Tuominen, Eero Hyvönen
LEC
2002
IEEE
178views Languages» more  LEC 2002»
14 years 1 months ago
Building Large Scale Ontology Networks
Adoptable, high performing, large scale ontologies that can be extended to support multi-media play a crucial role in building effective content and knowledge management systems a...
Vasudeva Varma
JBCS
2002
100views more  JBCS 2002»
13 years 8 months ago
Using objects and patterns to implement domain ontologies
Ontologies are becoming an important mechanism to build information systems. Nevertheless, there is still no systematic approach to support the design of such systems using tools ...
Giancarlo Guizzardi, Ricardo de Almeida Falbo, Jos...