Sciweavers

1363 search results - page 137 / 273
» On some Relations between Dynamical Systems and Transition S...
Sort
View
ACTA
2007
96views more  ACTA 2007»
14 years 10 months ago
Recursive Petri nets
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
Serge Haddad, Denis Poitrenaud
TKDE
2002
77views more  TKDE 2002»
14 years 9 months ago
Materialization and Its Metaclass Implementation
Materialization is a powerful and ubiquitous abstraction pattern for conceptual modeling that relates a class of categories (e.g., models of cars) and a class of more concrete obje...
Mohamed Dahchour, Alain Pirotte, Esteban Zim&aacut...
EUROSSC
2009
Springer
15 years 4 months ago
Automatic Event-Based Synchronization of Multimodal Data Streams from Wearable and Ambient Sensors
A major challenge in using multi-modal, distributed sensor systems for activity recognition is to maintain a temporal synchronization between individually recorded data streams. A ...
David Bannach, Oliver Amft, Paul Lukowicz
ACSD
2008
IEEE
102views Hardware» more  ACSD 2008»
15 years 4 months ago
Performing causality analysis by bounded model checking
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
Klaus Schneider, Jens Brandt
CSCW
2002
ACM
14 years 9 months ago
Articulating User Needs in Collaborative Design: Towards an Activity-Theoretical Approach
This paper analyses the collaborative design of a high-technology product, a neuromagnetometer used in the analysis of the activity of the human cortex. The producer, Neuromag Com...
Reijo Miettinen, Mervi Hasu