Sciweavers

8056 search results - page 103 / 1612
» Object Behavior Analysis
Sort
View
ICSE
2010
IEEE-ACM
15 years 7 months ago
Using dynamic execution traces and program invariants to enhance behavioral model inference
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
Ivo Krka, Yuriy Brun, Daniel Popescu, Joshua Garci...
ISARCS
2010
188views Hardware» more  ISARCS 2010»
15 years 6 months ago
Component Behavior Synthesis for Critical Systems,
Abstract. Component-based architectures are widely used in embedded systems. For managing complexity and improving quality separation of concerns is one of the most important princ...
Tobias Eckardt, Stefan Henkler
AI50
2006
15 years 6 months ago
Dynamical Systems in the Sensorimotor Loop: On the Interrelation Between Internal and External Mechanisms of Evolved Robot Behav
This case study demonstrates how the synthesis and the analysis of minimal recurrent neural robot control provide insights into the exploration of embodiment. By using structural e...
Martin Hülse, Steffen Wischmann, Poramate Man...
BPM
2007
Springer
152views Business» more  BPM 2007»
15 years 4 months ago
Behavioral Constraints for Services
Recently, we introduced the concept of an operating guideline of a service as a structure that characterizes all its properly interacting partner services. The hitherto considered ...
Niels Lohmann, Peter Massuthe, Karsten Wolf
ECSCW
2007
15 years 3 months ago
Prior-to-request and request behaviors within elderly day care: Implications for developing service robots for use in multiparty
The rapidly expanding elderly population in Japan and other industrialized countries has posed an enormous challenge to the systems of healthcare that serve elderly citizens. This ...
Keiichi Yamazaki, Michie Kawashima, Yoshinori Kuno...