Sciweavers

4698 search results - page 335 / 940
» Making Functionality More General
Sort
View
ACSD
2005
IEEE
90views Hardware» more  ACSD 2005»
16 years 9 days ago
Improved Decomposition of STGs
Signal Transition Graphs (STGs) are a version of Petri nets for the specification of asynchronous circuit behaviour. It has been suggested to decompose such a specification as a...
Walter Vogler, Ben Kangsah
EH
2005
IEEE
134views Hardware» more  EH 2005»
16 years 9 days ago
A Move Processor for Bio-Inspired Systems
The structure and operation of multi-cellular organisms relies, among other things, on the specialization of the cells’ physical structure to a finite set of specific operatio...
Gianluca Tempesti, Pierre-André Mudry, Ralp...
KBSE
2005
IEEE
16 years 8 days ago
Formal support for merging and negotiation
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...
Shiva Nejati
152
Voted
MM
2005
ACM
117views Multimedia» more  MM 2005»
16 years 7 days ago
Streaming with causality: a practical approach
Highly interactive collaborative streaming applications express the need for causality. Solutions exist but we argue that more work needs to be done especially from a perceptual p...
Cezar Plesca, Romulus Grigoras, Philippe Qué...
ATAL
2005
Springer
16 years 7 days ago
Sift and Sort: Climbing the Semantic Pyramid
Information processing operations in support of intelligence analysis are of two kinds. They may sift relevant data from a larger body, thus reducing its quantity, or sort that dat...
H. Van Dyke Parunak, Peter Weinstein, Paul Chiusan...