696 search results - page 35 / 140 » Explaining abstract counterexamples |
112
Voted
CSCLP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We propose here a number of approaches to implement constraint propagation for arithmetic constraints on integer intervals. To this end we introduce integer interval arit...
112
click to vote
ROBOCUP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This paper resumes the main features of the RoGi Team. It explains whole system, including global vision and decision systems and robots.
123
Voted
IFIP
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. In this article we identify security threats and requirements for software agent systems in the context of an electronic market. A short description of our own agent syst...
119
Voted
ECOOPW
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarise...
120
Voted
OHS
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. The Construct development environment is targeted at the construction of different types of hypermedia services. The primary goal of the environment is to ease the constr...