Sciweavers

4286 search results - page 717 / 858
» Formalizing Service Interactions
Sort
View
125
Voted
DSD
2006
IEEE
95views Hardware» more  DSD 2006»
15 years 7 months ago
Towards Performance-Oriented Pattern-Based Refinement of Synchronous Models onto NoC Communication
We present a performance-oriented refinement approach that refines a perfectly synchronous communication model onto Network-on-Chip (NoC) communication. We first identify four bas...
Zhonghai Lu, Ingo Sander, Axel Jantsch
111
Voted
ECAI
2006
Springer
15 years 7 months ago
Natural and Intuitive Multimodal Dialogue for In-Car Applications: The SAMMIE System
We present SAMMIE, a laboratory demonstrator of an in-car showcase of a multimodal dialogue system developed in the TALK project5 in cooperation between DFKI/USAAR/BOSCH/BMW, to s...
Tilman Becker, Nate Blaylock, Ciprian Gerstenberge...
139
Voted
GECCO
2006
Springer
202views Optimization» more  GECCO 2006»
15 years 7 months ago
Inference of genetic networks using S-system: information criteria for model selection
In this paper we present an evolutionary approach for inferring the structure and dynamics in gene circuits from observed expression kinetics. For representing the regulatory inte...
Nasimul Noman, Hitoshi Iba
142
Voted
FC
2000
Springer
106views Cryptology» more  FC 2000»
15 years 7 months ago
Capability-Based Financial Instruments
Every novel cooperative arrangement of mutually suspicious parties interacting electronically -- every smart contract -- effectively requires a new cryptographic protocol. However,...
Mark S. Miller, Chip Morningstar, Bill Frantz
118
Voted
DAC
1995
ACM
15 years 7 months ago
Hierarchical Optimization of Asynchronous Circuits
Abstract— Many asynchronous designs are naturally specified and implemented hierarchically as an interconnection of separate asynchronous modules that operate concurrently and c...
Bill Lin, Gjalt G. de Jong, Tilman Kolks