Sciweavers

7340 search results - page 192 / 1468
» The Behavior of Tutoring Systems
Sort
View
ICSE
2004
IEEE-ACM
16 years 6 months ago
Adding High Availability and Autonomic Behavior to Web Services
Rapid acceptance of the Web Services architecture promises to make it the most widely supported and popular object-oriented architecture to date. One consequence is that a wave of...
Kenneth P. Birman, Robbert van Renesse, Werner Vog...
RTAS
2009
IEEE
16 years 1 months ago
CSL: A Language to Specify and Re-specify Mobile Sensor Network Behaviors
—The Collaborative Sensing Language (CSL) is a high-level feedback control language for mobile sensor networks (MSN). It specifies MSN controllers to accomplish network objectiv...
Joshua Love, Jerry Jariyasunant, Eloi Pereira, Mar...
TFM
2009
Springer
136views Formal Methods» more  TFM 2009»
16 years 1 months ago
On Teaching Formal Methods: Behavior Models and Code Analysis
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
Jan Kofron, Pavel Parizek, Ondrej Sery
ROBOCUP
2005
Springer
119views Robotics» more  ROBOCUP 2005»
15 years 12 months ago
Flexible Coordination of Multiagent Team Behavior Using HTN Planning
The domain of robotic soccer is known as a highly dynamic and non-deterministic environment for multiagent research. We introduce an approach using Hierarchical Task Network planni...
Oliver Obst, Joschka Boedecker
BCSHCI
2008
15 years 7 months ago
Understanding behaviors and needs for home videos
Nowadays, people capture, edit and share more and more home videos. Devices with video capturing capability and services for video sharing and editing are becoming increasingly po...
Marco Campanella, Jettie Hoonhout