Sciweavers

14169 search results - page 2484 / 2834
» Tabular application development
Sort
View
247
Voted
JFP
2007
126views more  JFP 2007»
15 years 7 months ago
Engineering Software Correctness
Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results fr...
Rex L. Page
AAMAS
2004
Springer
15 years 7 months ago
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
Mark d'Inverno, Michael Luck, Michael P. Georgeff,...
JSAC
2007
127views more  JSAC 2007»
15 years 7 months ago
Routing in Sparse Vehicular Ad Hoc Wireless Networks
— A Vehicular Ad Hoc Network (VANET) may exhibit a bipolar behavior, i.e., the network can either be fully connected or sparsely connected depending on the time of day or on the ...
Nawaporn Wisitpongphan, Fan Bai, Priyantha Mudalig...
AI
2002
Springer
15 years 7 months ago
Using similarity criteria to make issue trade-offs in automated negotiations
Automated negotiation is a key form of interaction in systems that are composed of multiple autonomous agents. The aim of such interactions is to reach agreements through an itera...
Peyman Faratin, Carles Sierra, Nicholas R. Jenning...
223
Voted
ALIFE
2002
15 years 7 months ago
Bioinspired Engineering of Exploration Systems for NASA and DoD
A new approach called bioinspired engineering of exploration systems (BEES) and its value for solving pressing NASA and DoD needs are described. Insects (for example honeybees and ...
Sarita Thakoor, Javaan S. Chahl, Mandyam V. Sriniv...
« Prev « First page 2484 / 2834 Last » Next »