19003 search results - page 95 / 3801 » We Need Assurance! |
FAABS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The task addressed here is a dynamic search through a bounded region, while avoiding multiple large obstacles, such as buildings. In the case of limited sensors and commu...
PADL
2012
Springer
12 years 3 months ago
2012
Springer
We begin with a functional reactive programming (FRP) model in which every program is viewed as a signal function that converts a stream of input values into a stream of output va...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
In this paper, we address the problem of matching I/O descriptions of services to enable their automatic service composition. Specifically, we develop a method of semantic schema ...
ICECCS
2007
IEEE
13 years 11 months ago
2007
IEEE
The world at large cares little for verified software; what it cares about are trustworthy and cost-effective systems that do their jobs well. We examine the value of verified sof...
KBS
2006
13 years 7 months ago
2006
The organizational architecture of the multi-agent systems and the structure of social knowledge that the members of the community administer are critical factors for assuring suc...