Sciweavers

2672 search results - page 414 / 535
» Hybridizing Concept Languages
Sort
View
CISIS
2009
IEEE
14 years 1 months ago
Semi-Automatic Annotation System for OWL-Based Semantic Search
—Current keyword search by Google, Yahoo, and so on gives enormous unsuitable results. A solution to this perhaps is to annotate semantics to textual web data to enable semantic ...
C.-H. Liu, H.-C. Chen, J.-L. Jain, J.-Y. Chen
GPCE
2009
Springer
14 years 1 months ago
Safe composition of non-monotonic features
Programs can be composed from features. We want to verify automatically that all legal combinations of features can be composed safely without errors. Prior work on this problem a...
Martin Kuhlemann, Don S. Batory, Christian Kä...
ER
2001
Springer
163views Database» more  ER 2001»
14 years 1 months ago
Towards Ontologically Based Semantics for UML Constructs
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
Joerg Evermann, Yair Wand
ICICS
2001
Springer
14 years 1 months ago
Enforcing Obligation with Security Monitors
With the ubiquitous deployment of large scale networks more and more complex human interactions are supported by computer applications. This poses new challenges on the expressive...
Carlos Ribeiro, Andre Zuquete, Paulo Ferreira
RE
2001
Springer
14 years 1 months ago
XML-Based Method and Tool for Handling Variant Requirements in Domain Models
A domain model describes common and variant requirements for a system family. UML notations used in requirements analysis and software modeling can be extended with “variation p...
Stan Jarzabek, Hongyu Zhang