Sciweavers

4348 search results - page 665 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
AADEBUG
2005
Springer
16 years 1 days ago
Specifying and checking component usage
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
Steven P. Reiss
ISRR
2005
Springer
149views Robotics» more  ISRR 2005»
15 years 12 months ago
Emergence, Exploration and Learning of Embodied Behavior
A novel model for dynamic emergence and adaptation of embodied behavior is proposed. A musculo-skeletal system is controlled by a number of chaotic elements, each of which driving...
Yasuo Kuniyoshi, Shinsuke Suzuki, Shinji Sangawa
EUROSYS
2006
ACM
16 years 3 months ago
Thorough static analysis of device drivers
Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows dr...
Thomas Ball, Ella Bounimova, Byron Cook, Vladimir ...
IUI
2004
ACM
15 years 12 months ago
Sheepdog: learning procedures for technical support
Technical support procedures are typically very complex. Users often have trouble following printed instructions describing how to perform these procedures, and these instructions...
Tessa A. Lau, Lawrence D. Bergman, Vittorio Castel...
ICIP
2006
IEEE
16 years 8 months ago
A Hierarchical ASM/AAM Approach in a Stochastic Framework for Fully Automatic Tracking and Recognition
This paper deals with the fully automatic extraction of classifiable person features out of a video stream with challenging background. Basically the task can be split in two part...
Andre Störmer, Gerhard Rigoll, Sascha Schreib...