Sciweavers

8928 search results - page 432 / 1786
» Modeling Current Events
Sort
View
FMCO
2007
Springer
129views Formal Methods» more  FMCO 2007»
15 years 11 months ago
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
Peter Van Roy, Seif Haridi, Alexander Reinefeld, J...
139
Voted
ICWE
2007
Springer
15 years 11 months ago
A Prototype Tool for the Automatic Generation of Adaptive Websites
This paper presents AWAC, a prototype CAWE tool for the automatic generation of adaptive Web applications based on the A-OOH methodology. A-OOH (Adaptive OO-H) is an extension of t...
Irene Garrigós, Cristian Cruz, Jaime G&oacu...
MOBICOM
2006
ACM
15 years 11 months ago
VanetMobiSim: generating realistic mobility patterns for VANETs
In this paper, we present and describe VanetMobiSim, a generator of realistic vehicular movement traces for telecommunication networks simulators. VanetMobiSim mobility descriptio...
Jérôme Härri, Fethi Filali, Chri...
BPM
2005
Springer
129views Business» more  BPM 2005»
15 years 10 months ago
Transforming BPEL to Petri Nets
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
Sebastian Hinz, Karsten Schmidt 0004, Christian St...
121
Voted
MLMI
2005
Springer
15 years 10 months ago
Multimodal Authoring Tool for Populating a Database of Emotional Reactive Animations
Abstract. We aim to create a model of emotional reactive virtual humans. This model will help to define realistic behavior for virtual characters based on emotions and events in t...
Alejandra García-Rojas, Mario Gutiér...