12774 search results - page 301 / 2555 » A Framework for Proof Systems |
187
click to vote
DALT
2004
Springer
16 years 3 days ago
2004
Springer
We report on the development of an agent-based system, called ΦLOG, for the specification and execution of phylogenetic inference applications. We detail the implementation of th...
201
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we advocate the use of visual tooling for the development and maintenance of component-based software systems. Our contribution is twofold. First, we demonstrate ho...
199
click to vote
CAINE
2003
15 years 8 months ago
2003
An agent based system is used to model unmanned aerial vehicle missions utilizing various control models. The system uses a multi level approach to modeling a UAV in order to supp...
162
click to vote
ECAL
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Self-replication is a fundamental property of many interesting physical, formal and biological systems, such as crystals, waves, automata, and especially forms of natural...