6047 search results - page 748 / 1210 » Modeling with Extend |
245
click to vote
ACOM
2006
Springer
16 years 27 days ago
2006
Springer
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...
171
click to vote
ADBIS
2006
Springer
16 years 27 days ago
2006
Springer
Computational database technology spans the two research fields data-base technology and scientific computing. It involves development of database capabilities that support compu...
141
click to vote
ISSTA
2006
ACM
16 years 26 days ago
2006
ACM
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...
187
click to vote
CCGRID
2005
IEEE
16 years 16 days ago
2005
IEEE
— This article presents an evolution of classical SPMD programming for clusters and grids. It is named ”Object-Oriented SPMD” as it is based on remote method invocation. More...
168
click to vote
CEC
2005
IEEE
16 years 16 days ago
2005
IEEE
This paper describes and analyzes the aggregation pheromone system (APS) algorithm, which extends ant colony optimization (ACO) to continuous domains. APS uses the collective behav...