2968 search results - page 178 / 594 » Network Programming Using PLAN |
126
click to vote
SBACPAD
2005
IEEE
15 years 8 months ago
2005
IEEE
The Data-Flow Graph (DFG) of a parallel application is frequently used to take scheduling decisions, based on the information that it models (dependencies among the tasks and volu...
117
click to vote
NETWORKS
2008
15 years 3 months ago
2008
The Network Interdiction Problem involves interrupting an adversary's ability to maximize flow through a capacitated network by destroying portions of the network. A budget c...
145
click to vote
FAC
2010
15 years 11 days ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
121
click to vote
WCRE
1997
IEEE
15 years 6 months ago
1997
IEEE
Reverse Engineering is focused on the challenging task of understanding legacy program code without having suitable documentation. Using a transformational forward engineering per...
139
click to vote
CLIMA
2010
15 years 4 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...