Sciweavers

2385 search results - page 32 / 477
» Knowledge Refinement for a Design System
Sort
View
ISORC
1999
IEEE
15 years 2 months ago
Automated Dependability Analysis of UML Designs
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
Andrea Bondavalli, Ivan Mura, István Majzik
SERP
2004
14 years 11 months ago
The Architectural Design of FRUIT: A Family of Retargetable User Interface Tools
Forms-based user interfaces are widely used means for human-computer interaction. However, it is difficult to exploit software reuse in forms-based systems because the systems ten...
Yi Liu, H. Conrad Cunningham, Hui Xiong
ATVA
2010
Springer
135views Hardware» more  ATVA 2010»
14 years 10 months ago
Probabilistic Contracts for Component-Based Design
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
Dana N. Xu, Gregor Gößler, Alain Giraul...
ICIW
2007
IEEE
15 years 1 months ago
A Refined Goal Model for Semantic Web Services
The idea of service orientation envisions dynamic detection and execution of suitable Web services for solving a particular request. Most realization approaches pay only little att...
Michael Stollberg, Barry Norton
65
Voted
ACL
2008
14 years 11 months ago
Refining Event Extraction through Cross-Document Inference
We apply the hypothesis of "One Sense Per Discourse" (Yarowsky, 1995) to information extraction (IE), and extend the scope of "discourse" from one single docum...
Heng Ji, Ralph Grishman