Sciweavers

1502 search results - page 19 / 301
» Computational Realizations of Living Systems
Sort
View
SIGSOFT
2010
ACM
14 years 9 months ago
Realizability analysis for message-based interactions using shared-state projections
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
Sylvain Hallé, Tevfik Bultan
ICCHP
2010
Springer
15 years 1 months ago
Automatic Live Monitoring of Communication Quality for Normal-Hearing and Hearing-Impaired Listeners
Abstract. This contribution presents a system, which allows for a continuous monitoring of speech intelligibility from a single microphone signal. The system accounts for the detri...
Jan Rennies, Eugen Albertin, Stefan Goetze, Jens-E...
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
15 years 6 months ago
Realizability of Choreographies Using Process Algebra Encodings
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
Gwen Salaün, Tevfik Bultan
CONCUR
2006
Springer
15 years 3 months ago
Liveness, Fairness and Impossible Futures
Impossible futures equivalence is the semantic equivalence on labelled transition systems that identifies systems iff they have the same "AGEF" properties: temporal logic...
Rob J. van Glabbeek, Marc Voorhoeve
HUC
2010
Springer
15 years 24 days ago
ALIS: an interactive ecosystem for sustainable living
Engaging occupants in conservation efforts is a key part of reducing our ecological footprint. To this end, we have developed the Aware Living Interface System (ALIS), an integrat...
Johnny Rodgers, Lyn Bartram