Sciweavers

3868 search results - page 205 / 774
» Open Systems in TLA
Sort
View
POS
1998
Springer
15 years 11 months ago
The Transactional Object Cache: A Foundation for High Performance Persistent System Construction
This paper argues that caching, atomicity and layering are fundamental to persistent systems, and that the transactional object cache architecture, as an embodiment of these conce...
Stephen Blackburn, Robin Stanton
LICS
1996
IEEE
15 years 11 months ago
Higher Dimensional Transition Systems
We introduce the notion of higher dimensional transition systems as a model of concurrency providing an elementary, set-theoretic formalisation of the idea of higher dimensional t...
Gian Luca Cattani, Vladimiro Sassone
ATAL
2006
Springer
15 years 11 months ago
Towards formal model of adversarial action in multi-agent systems
Detecting and preventing the adversarial action of an agent with respect to the community of agents can be a serious issue in the design of open multi-agent systems. This task is ...
Michal Pechoucek, Jan Tozicka, Martin Rehák
CDC
2008
IEEE
171views Control Systems» more  CDC 2008»
15 years 9 months ago
Subspace IDentification of MIMO LPV systems: The PBSID approach
In this paper we present a novel algorithm to identify LPV systems with affine parameter dependence operating under open and closed-loop conditions. A factorization is introduced w...
Jan-Willem van Wingerden, Michel Verhaegen
ACII
2005
Springer
15 years 9 months ago
A Wearable Multi-sensor System for Mobile Acquisition of Emotion-Related Physiological Data
Interest in emotion detection is increasing significantly. For research and development in the field of Affective Computing and emotion-aware interaction techniques, reliable and r...
Christian Peter, Eric Ebert, Helmut Beikirch