1200 search results - page 96 / 240 » Marked Ancestor Problems |
105
click to vote
ZUM
2005
Springer
15 years 6 months ago
2005
Springer
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
82
Voted
COMPGEOM
2004
ACM
15 years 6 months ago
2004
ACM
We consider the separability of two point sets inside a polygon by means of chords or geodesic lines. Specifically, given a set of red points and a set of blue points in the inte...
106
click to vote
ATAL
2004
Springer
15 years 6 months ago
2004
Springer
This paper addresses an important question in the development of multi-agent systems—how can we create robust systems out of the often unreliable agents and infrastructures we ca...
94
Voted
PRIMA
2004
Springer
15 years 6 months ago
2004
Springer
— Distributed computing systems are increasingly being created as self-organizing collections of many autonomous (human or software) agents cooperating as peers. Peer-to-peer coo...
CCGRID
2003
IEEE
15 years 6 months ago
2003
IEEE
As computing systems grow in complexity, the cluster and grid communities require more sophisticated tools to diagnose, debug and analyze such systems. We have developed a toolkit...