9 search results - page 1 / 2 » Modeling of Component Environment in Presence of Callbacks a... |
TOOLS
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
ICC
2008
IEEE
13 years 11 months ago
2008
IEEE
CALLAWAY, ROBERT DAVID. An Autonomic Service Delivery Platform for Service-Oriented Network Environments. (Under the direction of Michael Devetsikiotis and Yannis Viniotis.) Servi...
ICRA
2002
IEEE
13 years 9 months ago
2002
IEEE
This article deals with specific aspects concerning the visual perception process of a humanoid walking machine. An active vision system provides the information about the enviro...
IWAN
2000
Springer
13 years 8 months ago
2000
Springer
This paper presents the main concepts of the IST Project FAIN "Future Active IP Networks" [10], a three-year collaborative research project, whose main task is to develo...
NIPS
2001
13 years 6 months ago
2001
Neural activity appears to be a crucial component for shaping the receptive fields of cortical simple cells into adjacent, oriented subregions alternately receiving ON- and OFF-ce...