Sciweavers

10 search results - page 1 / 2
» Verification and Refactoring of Ontologies with Rules
Sort
View
49
Voted
EKAW
2006
Springer
15 years 2 months ago
Verification and Refactoring of Ontologies with Rules
Joachim Baumeister, Dietmar Seipel
96
Voted
FASE
2008
Springer
15 years 21 days ago
Verification of Architectural Refactorings by Rule Extraction
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
73
Voted
EGOV
2005
Springer
15 years 4 months ago
Monitoring and Updating Regulations and Policies for Government Services
One of the challenges citizens and businesses face in interacting with governments for entitled services or compliance services is to find the right set of regulations and rules th...
Soon Ae Chun, Edwin Portscher, James Geller
92
Voted
OWLED
2007
15 years 11 days ago
Ontology Engineering for Product Development
This analysis is to identify requirements for a Description Logic (DL) to reason about product descriptions and other information related to product development. The DL is intended...
Henson Graves
IJIT
2004
15 years 10 days ago
Formal Verification of a Multicast Protocol In Mobile Networks
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...
Mohammad Reza Matash Borujerdi, S. M. Mirzababaei