5159 search results - page 750 / 1032 » Structural Testing of Executables |
197
click to vote
GPCE
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...
190
click to vote
HPCC
2007
Springer
16 years 1 months ago
2007
Springer
Packet filters play an essential role in traffic management and security management on the Internet. In order to create software-based packet filters that are fast enough to work...
190
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
The Hierarchical Task Network (HTN) planning method is conceived of as a useful method for Web service composition as well as classical task planning. However, there are no complet...
167
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Personal Information Management (PIM) systems aim to provide convenient access to all data and metadata on a desktop to the user itself as well as the co-workers. Obvious...
166
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...