Sciweavers

3522 search results - page 81 / 705
» Modeling and Aspect Weaving
Sort
View
DEXA
2004
Springer
106views Database» more  DEXA 2004»
14 years 2 months ago
A Graph-Based Data Model to Represent Transaction Time in Semistructured Data
Abstract. In this paper we propose the Graphical sEmistructured teMporal data model (GEM), which is based on labeled graphs and allows one to represent in a uniform way semistructu...
Carlo Combi, Barbara Oliboni, Elisa Quintarelli
ISMVL
1994
IEEE
98views Hardware» more  ISMVL 1994»
14 years 1 months ago
Digital Circuit Verification Using Partially-Ordered State Models
Many aspects of digital circuit operation can be efficiently verified by simulating circuit operation over "weakened" state values. This technique has long been practice...
Carl-Johan H. Seger, Randal E. Bryant
ICSE
2003
IEEE-ACM
14 years 2 months ago
Multi-view Software Component Modeling for Dependability
Modeling software components from multiple perspectives provides complementary views of a software system and enables sophisticated analyses of its functionality. A software compon...
Roshanak Roshandel, Nenad Medvidovic
ICPR
2006
IEEE
14 years 10 months ago
Latent Layout Analysis for Discovering Objects in Images
Latent Layout Analysis (LLA) is a novel unsupervised learning technique to discover objects in unseen images using a set of un-annotated training images. LLA defines a generative ...
David Liu, Datong Chen, Tsuhan Chen
BPM
2003
Springer
116views Business» more  BPM 2003»
14 years 2 months ago
Use Cases as Workflows
Abstract. In requirements engineering we have to discover the user requirements and then we have to transform them into precise system specifications. There are two essential aspec...
Michel R. V. Chaudron, Kees M. van Hee, Lou J. Som...