5159 search results - page 370 / 1032 » Structural Testing of Executables |
220
click to vote
CLIMA
2004
15 years 8 months ago
2004
In this paper, we present a dynamic logic for a propositional version of the agent programming language 3APL. A 3APL agent has beliefs and a plan. The execution of a plan changes a...
184
click to vote
SMARTNET
2000
15 years 8 months ago
2000
: Due to the deregulation of the telecom network and the Internet, users will have access to an increasing number of heterogeneous communication services and will need to adapt the...
199
Voted
WCE
2007
15 years 8 months ago
2007
Application Service Maintenance(ASM) projects mainly use Activity-Based software estimation methodology compared to Function Point or Lines of Code Estimation methodologies[1]. Th...
195
click to vote
IJHPCA
2008
15 years 7 months ago
2008
Many Grid applications involve combining computational and data access components into complex workflows. A distinction is generally made between mechanisms to compose components ...
214
click to vote
VLDB
2002
ACM
15 years 7 months ago
2002
ACM
Query optimization is a computationally intensive process, especially for complex queries. We present here a tool, called PLASTIC, that can be used by query optimizers to amortize...