854 search results - page 64 / 171 » Using Simulation to Investigate Requirements Prioritization ... |
IJFCS
2008
14 years 11 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
SIGCOMM
1998
ACM
15 years 3 months ago
1998
ACM
Many emerging applications (e.g., teleconference, real-time information services, pay per view, distributed interactive simulation, and collaborative work) are based upon a group ...
GECCO
2004
Springer
15 years 4 months ago
2004
Springer
Application-specific, parameterized local search algorithms (PLSAs), in which optimization accuracy can be traded off with runtime, arise naturally in many optimization contexts....
101
Voted
UPP
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. The increasing scale complexity, heterogeneity and dynamism of networks, systems and applications have made our computational and information infrastructure brittle, unma...
ICST
2008
IEEE
15 years 5 months ago
2008
IEEE
We present a model-based approach to testing access control requirements. By using combinatorial testing, we first automatically generate test cases from and without access contro...