Sciweavers

4698 search results - page 335 / 940
» Making Functionality More General
Sort
View
ACSD
2005
IEEE
90views Hardware» more  ACSD 2005»
15 years 10 months 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»
15 years 10 months 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
15 years 10 months 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
MM
2005
ACM
117views Multimedia» more  MM 2005»
15 years 10 months 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é...
130
Voted
ATAL
2005
Springer
15 years 10 months 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...