199 search results - page 25 / 40 » An Intelligent System for Comparing Protein Structures |
120
click to vote
TSMC
2008
14 years 11 months ago
2008
Abstract--Intervehicle communication is a key technique of intelligent transport systems. Recently, ad hoc networking in the vehicular environment was investigated intensively. Thi...
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
a growing need to study abstract problems in distributed multi-agent systems in a systematic way, as well as to provide a qualitative mathematical framework in which to compare po...
EPIA
1999
Springer
15 years 4 months ago
1999
Springer
YapOr is an or-parallel system that extends the Yap Prolog system to exploit implicit or-parallelism in Prolog programs. It is based on the environment copying model, as first imp...
APN
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents the high level Petri nets analyzer Helena. Helena can be used for the on-the-fly verification of state properties, i.e., properties that must hold in all the ...
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
This work compares and contrasts two component frameworks: (1) the web-centric Java 2 Enterprise Edition (J2EE) framework and (2) the FIPA-compliant multi-agent system (MAS). FIPA...