487 search results - page 69 / 98 » The Java System Dependence Graph |
121
click to vote
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract— The present paper considers distributed consensus algorithms for agents evolving on a connected compact homogeneous (CCH) manifold. The agents track no external referen...
105
Voted
APCHI
1998
IEEE
15 years 6 months ago
1998
IEEE
Direct manipulation interfaces are characterised according to the representation of the task domain: the domain objects and the effect of user operations on those objects. In the ...
114
click to vote
DCC
2011
IEEE
14 years 9 months ago
2011
IEEE
Abstract. A system of Boolean equations is called sparse if each equation depends on a small number of variables. Finding efficiently solutions to the system is an underlying hard ...
113
click to vote
ICDCS
2003
IEEE
15 years 7 months ago
2003
IEEE
Mobile code carried by a mobile agent can automatically travel to several data sources in order to complete a designated program. Traditionally, most mobile agent systems [7][8][1...
SSS
2010
Springer
15 years 15 days ago
2010
Springer
The earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on a...