2607 search results - page 426 / 522 » On the Architecture of System Verification Environments |
220
click to vote
MLMTA
2003
15 years 7 months ago
2003
Abstract— The prediction of the future states in MultiAgent Systems has been a challenging problem since the begining of MAS. Robotic soccer is a MAS environment in which the pre...
280
click to vote
ICDE
2003
IEEE
16 years 7 months ago
2003
IEEE
In this paper, we describe a system called XomatiQ to address the problem of integration, querying and correlation of biological data. XomatiQ is an integral part of the genomics ...
186
click to vote
CLUSTER
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Software Distributed Shared Memory (SDSM) systems provide programmers with a shared memory programming environment across distributed memory architectures. In contrast t...
169
click to vote
SIGCOMM
2009
ACM
16 years 28 days ago
2009
ACM
Service oriented access in a multi-application, multi-access network environment poses interesting research challenges. One of these challenges refers to cross-layer interoperabil...
174
click to vote
COLCOM
2007
IEEE
16 years 23 days ago
2007
IEEE
—In an ad-hoc collaborative sharing environment, attribute-based access control provides a promising approach in defining authorization over shared resources based on users’ p...