9 search results - page 1 / 2 » Modeling of Component Environment in Presence of Callbacks a... |
95
Voted
TOOLS
2008
IEEE
15 years 5 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...
114
click to vote
ICC
2008
IEEE
15 years 5 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
15 years 3 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...
116
click to vote
IWAN
2000
Springer
15 years 2 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
15 years 5 days 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...