1399 search results - page 96 / 280 » A Component Model for Control-Intensive Distributed Embedded... |
113
click to vote
ACSD
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper considers distributed systems, defined as a collection of components interacting through interfaces. Components, interfaces and distributed systems are modeled as Petri...
110
click to vote
IJON
2006
15 years 1 months ago
2006
We present an application of Independent Component Analysis (ICA) to the discrimination of mental tasks for EEG-based Brain Computer Interface systems. ICA is most commonly used w...
PROMAS
2005
Springer
15 years 7 months ago
2005
Springer
The paper presents a way to robustly command a system of systems as a single entity. Instead of modeling each component system in isolation and then manually crafting interaction p...
122
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
150
click to vote
MT
2002
15 years 1 months ago
2002
We present MARS (Multilingual Automatic tRanslation System), a research prototype speech-to-speech translation system. MARS is aimed at two-way conversational spoken language trans...