2947 search results - page 510 / 590 » Analyzing Program Analyses |
HICSS
1996
IEEE
15 years 3 months ago
1996
IEEE
Remote tasking encompasses different functionality, such as remote forking, multiple remote spawning, and task migration. In order to overcome the relatively high costs of these m...
112
Voted
SAS
1994
Springer
15 years 3 months ago
1994
Springer
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
111
click to vote
VLDB
1994
ACM
15 years 3 months ago
1994
ACM
Expert database systems extend the functionality of conventional database systems by providing a facility for creating and automatically executing Condition-Action rules. While Con...
103
click to vote
WDAG
1994
Springer
15 years 3 months ago
1994
Springer
This paper investigates how vector time can be used to set breakpoints in distributed computations for the purpose of analyzing and debugging distributed programs. A breakpoint is ...
88
Voted
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
From a multiagent viewpoint, a workflow is a dynamic set of tasks performed by a set of agents to reach a shared goal. We show herein that commitments among agents can be used to ...