207 search results - page 16 / 42 » Theory of Software Reliability Based on Components |
ROBOCUP
1999
Springer
13 years 11 months ago
1999
Springer
This paper describes the hardware and software architecture of the Attempto RoboCup-99 team. We first present the design of our heavily modified commercial robotic base, the robo...
TR
2008
13 years 7 months ago
2008
We consider the problem of maximizing the reliability of a series-parallel system given cost and weight constraints on the system. The number of components in each subsystem and th...
AISC
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
EJC
2003
13 years 8 months ago
2003
The goal of this paper is to build a bridge from a certain intuitive conception of natural language communication, called the SLIM theory of language, to a technical approach, cal...
AOSD
2010
ACM
14 years 2 months ago
2010
ACM
Over the last five years, several systems have been proposed to take distribution into account in Aspect-Oriented Programming. While they appeared to be fruitful to develop or im...