Sciweavers

2658 search results - page 59 / 532
» Micro-communication Element System
Sort
View
KER
2006
158views more  KER 2006»
15 years 3 months ago
Formal systems for persuasion dialogue
This article reviews formal systems that regulate persuasion dialogues. In such dialogues two or more participants aim to resolve a difference of opinion, each trying to persuade ...
Henry Prakken
DELTA
2004
IEEE
15 years 7 months ago
Towards Analog and Mixed-Signal SOC Design with SystemC-AMS
Systems-on-Chip (SoCs) are heterogeneous by nature as they may integrate digital, analog, RF hardware as well as software components or non electrical parts such as sensors or act...
Alain Vachoux, Christoph Grimm, Karsten Einwich
ECBS
2008
IEEE
124views Hardware» more  ECBS 2008»
15 years 5 months ago
Hierarchical Model to Develop Component-Based Systems
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
Abdelkrim Amirat, Mourad Oussalah
FBT
1998
119views Formal Methods» more  FBT 1998»
15 years 5 months ago
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
Dirk Beyer, Heinrich Rust
IJAHUC
2007
90views more  IJAHUC 2007»
15 years 3 months ago
A survey on context-aware systems
: Context-aware systems offer entirely new opportunities for application developers and for end users by gathering context data and adapting systems behaviour accordingly. Especial...
Matthias Baldauf, Schahram Dustdar, Florian Rosenb...