2205 search results - page 137 / 441 » Mutation Operators for Specifications |
ICLP
2010
Springer
2010
Springer
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
13 years 7 months ago
We present a framework for (static) verification of general resource usage program properties. The framework extends the criteria of correctness as the conformance of a program to ...
AICT
2006
IEEE
13 years 11 months ago
2006
IEEE
Specification of monitored context properties and their influence on behavior of Web services and management activities is a prerequisite for contextsensitive operation, which is ...
DEON
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. In this paper we investigate the design space of access control logics. Specifically, we consider several possible axioms for the common operator says. Some of the axioms...
WSC
1998
13 years 10 months ago
1998
This paper describes a MODSIM III-based object-oriented network simulation model specifically developed for modeling railroad operations of Union Pacific Railroad. The transportat...
ROOM
2000
13 years 10 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...