8555 search results - page 203 / 1711 » Property Based Coordination |
137
click to vote
ICSE
2000
IEEE-ACM
15 years 8 months ago
2000
IEEE-ACM
Little-JIL, a language for programming coordination in processes is an executable, high-level language with a formal (yet graphical) syntax and rigorously defined operational seTh...
142
Voted
DCOSS
2005
Springer
15 years 10 months ago
2005
Springer
Sensor network localization continues to be an important research challenge. The goal of localization is to assign geographic coordinates to each node in the sensor network. Locali...
138
Voted
VISUALIZATION
1998
IEEE
15 years 9 months ago
1998
IEEE
We propose a general paradigm for computing optimal coordinate frame fields that may be exploited to visualize curves and surfaces. Parallel-transport framings, which work well fo...
120
click to vote
MEMOCODE
2005
IEEE
15 years 10 months ago
2005
IEEE
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...
110
click to vote
FOCS
1993
IEEE
15 years 8 months ago
1993
IEEE
We consider the following scenario. A point robot is placed at some start location ¡ in a 2dimensional scene containing oriented rectangular obstacles. The robot must repeatedly ...