2057 search results - page 219 / 412 » Distributed Secure Systems: Then and Now |
167
click to vote
MABS
2004
Springer
15 years 11 months ago
2004
Springer
The emerging ”Computational Grid” infrastructure poses many new opportunities for the developing science of large scale multiagent simulation. The ability to migrate agent expe...
171
click to vote
CADE
2009
Springer
16 years 1 months ago
2009
Springer
SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent deve...
160
click to vote
EDOC
2009
IEEE
16 years 1 months ago
2009
IEEE
—Policy languages (such as privacy and rights) have had little impact on the wider community. Now that Social Networks have taken off, the need to revisit Policy languages and re...
139
click to vote
CCGRID
2005
IEEE
16 years 1 days ago
2005
IEEE
In multicluster systems, and more generally, in grids, jobs may require co-allocation, i.e., the simultaneous allocation of resources such as processors and input files in multip...
145
click to vote
EDOC
2003
IEEE
15 years 11 months ago
2003
IEEE
– An important problem in designing infrastructure to support business-to-business integration (B2Bi) is how to cancel a long-running interaction (either because the user has cha...