8 search results - page 1 / 2 » ConEditor: Tool to Input and Maintain Constraints |
EKAW
2004
Springer
13 years 10 months ago
2004
Springer
We present a tool which helps domain experts capture and maintain constraints. The tool displays parts of an ontology (as classes, sub-classes and properties) in the form of a tree...
KCAP
2005
ACM
13 years 10 months ago
2005
ACM
The Designers’ Workbench is a system, developed by the Advanced Knowledge Technologies (AKT) consortium to support designers in large organizations, such as RollsRoyce, by makin...
RTSS
1994
IEEE
13 years 9 months ago
1994
IEEE
This paper presents a comprehensive design methodology for guaranteeing end-to-end requirements of real-time systems. Applications are structured as a set of process components co...
ASPDAC
2004
ACM
13 years 8 months ago
2004
ACM
While mapping a streaming (such as multimedia or network packet processing) application onto a specified architecture, an important issue is to determine the input stream rates tha...
ICLP
2007
Springer
13 years 8 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...