Sciweavers

1234 search results - page 167 / 247
» Organizational Abstractions for Adaptive Systems
Sort
View
CAISE
2006
Springer
15 years 8 months ago
Incremental Workflow Mining for Process Flexibility
Abstract. Incremental workflow mining is a technique for automatically deriving a process model from the on-going executions of a process. This way, the process model becomes more ...
Ekkart Kindler, Vladimir Rubin, Wilhelm Schäf...
SDL
2001
125views Hardware» more  SDL 2001»
15 years 7 months ago
Verification of Quantitative Temporal Properties of SDL Specifications
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
Iulian Ober, Alain Kerbrat
ECSCW
1993
15 years 7 months ago
A Spatial Model of Interaction in Large Virtual Environments
: We present a spatial model of group interaction in virtual environments. The model aims to provide flexible and natural support for managing conversations among large groups gath...
Steve Benford, Lennart E. Fahlén
CORR
2010
Springer
146views Education» more  CORR 2010»
15 years 6 months ago
GRASP for the Coalition Structure Formation Problem
Abstract. The coalition structure formation problem represents an active research area in multi-agent systems. A coalition structure is defined as a partition of the agents involve...
Nicola Di Mauro, Teresa Maria Altomare Basile, Ste...
CORR
2008
Springer
169views Education» more  CORR 2008»
15 years 6 months ago
Congestion Reduction Using Ad hoc Message Dissemination in Vehicular Networks
Abstract-- Vehicle-to-vehicle communications can be used effectively for intelligent transport systems (ITS) and locationaware services [1]. The ability to disseminate information ...
Thomas D. Hewer, Maziar Nekovee