Sciweavers

924 search results - page 114 / 185
» Teaching simulation using case studies
Sort
View
EPEW
2005
Springer
15 years 5 months ago
Automatic Translation of WS-CDL Choreographies to Timed Automata
In this paper we show how we can translate Web Services described by WS-CDL into a timed automata orchestration, and more specifically we are interested in Web services with time ...
Gregorio Díaz, Juan José Pardo, Mar&...
WRAC
2005
Springer
15 years 5 months ago
Distributed Agent Evolution with Dynamic Adaptation to Local Unexpected Scenarios
Abstract. This paper introduces a novel framework for designing multiagent systems, called “Distributed Agent Evolution with Dynamic Adaptation to Local Unexpected Scenarios” (...
Suranga Hettiarachchi, William M. Spears, Derek Gr...
ESTIMEDIA
2004
Springer
15 years 5 months ago
Trace-based evaluation of clock synchronization algorithms for wireless loudspeakers
We present an evaluation strategy for clock synchronization algorithms. It is based on a combination of measured traces, which provide for realistic performance estimation, and of...
Philipp Blum, Lothar Thiele
DATE
2000
IEEE
112views Hardware» more  DATE 2000»
15 years 4 months ago
A Discrete-Time Battery Model for High-Level Power Estimation
In this paper, we introduce a discrete-time model for the complete power supply sub-system that closely approximates the behavior of its circuit-level (i.e., HSpice), continuous-t...
Luca Benini, Giuliano Castelli, Alberto Macii, Enr...
CIIT
2007
168views Communications» more  CIIT 2007»
15 years 1 months ago
Link dynamic and mobility measure of a manet with the brownian mobility model
To characterize the behavior of a mobile ad-hoc network (MANET), the Brownian mobility model is studied, where the random coordinators of mobile nodes are modeled by the Brownian ...
Yawgeng A. Chau, Yao-Hua Chen