Sciweavers

10682 search results - page 129 / 2137
» A Graph Based Process Representation for Process Modeling
Sort
View
CN
1999
143views more  CN 1999»
13 years 7 months ago
Embedding Knowledge in Web Documents
The paper argues for the use of general and intuitive knowledge representation languages (and simpler notational variants, e.g. subsets of natural languages) for indexing the cont...
Philippe Martin, Peter W. Eklund
SAM
2000
102views Hardware» more  SAM 2000»
13 years 9 months ago
Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications
Control and data flow aspects of a distributed system can be identified through the analysis of control and data dependencies that exist not only within processes, but also across...
Olaf Henniger, Hasan Ural
ECBS
2005
IEEE
124views Hardware» more  ECBS 2005»
14 years 1 months ago
Towards a Demand Driven, Autonomous Processing and Streaming Architecture
This paper describes SOPA, a component framework that is an essential part of the lecture recording system E-Chalk. It envisages a general processing and streaming architecture fe...
Gerald Friedland, Karl Pauls
SEMCO
2007
IEEE
14 years 2 months ago
Thematic Role Based Generation of UML Models from Real World Requirements
Model-driven development depends on good initial models. Creating these models by hand is a challenging task, because of complex specification documents and change requests. We p...
Tom Gelhausen, Walter F. Tichy
ICCAD
1999
IEEE
148views Hardware» more  ICCAD 1999»
14 years 9 days ago
SAT based ATPG using fast justification and propagation in the implication graph
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
Paul Tafertshofer, Andreas Ganz