Sciweavers

APN
2009
Springer
14 years 6 months ago
DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets
Monika Heiner, Martin Schwarick, Alexej Tovchigrec...
APN
2009
Springer
14 years 6 months ago
Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication
In previous works we defined ν-APNs, an extension of P/T nets with the capability of creating and managing pure names. We proved that, though reachability is undecidable, coverab...
Fernando Rosa Velardo, David de Frutos-Escrig
APN
2009
Springer
14 years 6 months ago
Compositional Service Trees
In the world of Service Oriented Architectures, one deals with networks of cooperating components. A component offers services; to deliver a service it possibly needs services of ...
Wil M. P. van der Aalst, Kees M. van Hee, Peter Ma...
AMI
2009
Springer
14 years 6 months ago
SAGE: A Logical Agent-Based Environment Monitoring and Control System
Abstract. We propose SAGE, an agent-based environment monitoring and control system based on computation logic. SAGE uses forward chaining deductive inference to map low level sens...
Krysia Broda, Keith Clark, Rob Miller 0002, Alessa...
AMI
2009
Springer
14 years 6 months ago
Adaptive User Profiles in Pervasive Advertising Environments
Abstract: Nowadays modern advertising environments try to provide more efficient ads by targeting costumers based on their interests. Various approaches exist today as to how infor...
Florian Alt, Moritz Balz, Stefanie Kristes, Alirez...
AMI
2009
Springer
14 years 6 months ago
Getting Places: Collaborative Predictions from Status
In this paper we describe the use of collaborative filtering to make predictions about place using data from custom instant messaging status. Previous research has shown accurate ...
Mohamad Monibi, Donald J. Patterson
AMI
2009
Springer
14 years 6 months ago
Activity Recognition for Personal Time Management
Zoltán Prekopcsák, Sugárka So...
AMI
2009
Springer
14 years 6 months ago
I Bet You Look Good on the Wall: Making the Invisible Computer Visible
The design ideal of the invisible computer, prevalent in the vision of ambient intelligence (AmI), has led to a number of interaction challenges. The complex nature of AmI environm...
Jo Vermeulen, Jonathan Slenders, Kris Luyten, Kari...
AMI
2009
Springer
14 years 6 months ago
Behavior Analysis Based on Coordinates of Body Tags
This paper describes fall detection, activity recognition and the detection of anomalous gait in the Confidence project. The project aims to prolong the independence of the elderly...
Mitja Lustrek, Bostjan Kaluza, Erik Dovgan, Bogdan...