6722 search results - page 640 / 1345 » Reuse-Conducive Development Environments |
187
click to vote
AISC
2004
Springer
15 years 11 months ago
2004
Springer
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...
184
click to vote
BIRTHDAY
2004
Springer
15 years 11 months ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...
203
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
The Multi-Agent Coordination and Control (MACC) testbed is a modelling and simulation environment for manufacturing control. It provides benefits to both the research community an...
200
click to vote
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. This paper proposes a novel method to characterize the performance of autonomous agents in the Trading Agent Competition for Supply Chain Management (TAC-SCM). We create ...
157
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
We describe the formal models of two standards related to airport security: one at the international level and the other at the European level. These models are expressed using the...