Sciweavers

6141 search results - page 242 / 1229
» Models and representation of their ownership
Sort
View
ACSD
2003
IEEE
159views Hardware» more  ACSD 2003»
15 years 12 months ago
Case Studies of Model Checking for Embedded System Designs
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems ple levels of abstraction, so that the design space can be effectively...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
KR
1994
Springer
15 years 10 months ago
Modalities Over Actions, I. Model Theory
This paper analyzes a language for actions and the deontic modalities over actions -- i.e., the modalities permitted, forbidden and obligatory. The work is based on: (1) an action...
L. Thorne McCarty
CDC
2009
IEEE
129views Control Systems» more  CDC 2009»
15 years 10 months ago
Improving the performance of active set based Model Predictive Controls by dataflow methods
Abstract-- Dataflow representations of Digital Signal Processing (DSP) software have been developing since the 1980's. They have proven to be useful in identifying bottlenecks...
Ruirui Gu, Shuvra S. Bhattacharyya, William S. Lev...
WETICE
1995
IEEE
15 years 10 months ago
An Ontology of Quality for Enterprise Modelling
Although there are many quality domains in which ideas and concepts about quality are represented, these representations are often informal. The TOVE Quality Ontology is the forma...
Henry M. Kim, Mark S. Fox, Michael Grüninger
DAS
2008
Springer
15 years 8 months ago
Symbol Descriptor Based on Shape Context and Vector Model of Information Retrieval
In this paper we present an adaptive method for graphic symbol representation based on shape contexts. The proposed descriptor is invariant under classical geometric transforms (r...
T.-O. Nguyen, Salvatore Tabbone, Oriol Ramos Terra...