Sciweavers

1527 search results - page 55 / 306
» From Requirements to Design: Formalizing the Key Steps
Sort
View
ISCA
1999
IEEE
95views Hardware» more  ISCA 1999»
15 years 10 months ago
Memory Sharing Predictor: The Key to a Speculative Coherent DSM
Recent research advocates using general message predictors to learn and predict the coherence activity in distributed shared memory (DSM). By accurately predicting a message and t...
An-Chow Lai, Babak Falsafi
ESANN
2007
15 years 7 months ago
Transition from initialization to working stage in biologically realistic networks
Natural cortical neurons form functional networks through a complex set of developmental steps. A key process in early development is the transition of the spontaneous network dyna...
Andreas Herzog, Karsten Kube, Bernd Michaelis, Ana...
COORDINATION
2006
Springer
15 years 9 months ago
Choreography and Orchestration Conformance for System Design
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Rober...
STORYTELLING
2005
Springer
15 years 11 months ago
Formal Encoding of Drama Ontology
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
Rossana Damiano, Vincenzo Lombardo, Antonio Pizzo
ISTA
2008
15 years 7 months ago
From Human Knowledge to Process Models
This contribution suggests a novel approach for a systematic generation of a process model in an informal environment. It is based on the claim that the knowledge about the process...
Jörg Desel