Sciweavers

2911 search results - page 508 / 583
» A Logic of Graph Constraints
Sort
View
DATE
2005
IEEE
143views Hardware» more  DATE 2005»
15 years 2 months ago
Statistical Modeling of Pipeline Delay and Design of Pipeline under Process Variation to Enhance Yield in sub-100nm Technologies
Operating frequency of a pipelined circuit is determined by the delay of the slowest pipeline stage. However, under statistical delay variation in sub-100nm technology regime, the...
Animesh Datta, Swarup Bhunia, Saibal Mukhopadhyay,...
96
Voted
ECOOP
2008
Springer
15 years 2 months ago
An Extensible State Machine Pattern for Interactive Applications
Abstract. The state design pattern is the standard object-oriented programming idiom for implementing the state machine logic of interactive applications. While this pattern provid...
Brian Chin, Todd D. Millstein
99
Voted
IIWAS
2008
15 years 2 months ago
A model-prover for constrained dynamic conversations
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
Diletta Cacciagrano, Flavio Corradini, Rosario Cul...
138
Voted
IIWAS
2008
15 years 2 months ago
Using conditional transformations for semantic user interface adaptation
The rapid growth of mobile Internet use requires highly flexible and adaptable user interfaces for web applications. Contextual data from various sources as for example device HMI...
Pascal Bihler, Merlin Fotsing, Günter Kniesel...
MIE
2008
116views Healthcare» more  MIE 2008»
15 years 2 months ago
Gene Regulation Ontology (GRO): Design Principles and Use Cases
The Gene Regulation Ontology (GRO) is designed as a novel approach to model complex events that are part of the gene regulatory processes. We introduce the design requirements for ...
Elena Beisswanger, Vivian Lee, Jung-jae Kim, Dietr...