202 search results - page 29 / 41 » Managing Controlled Violation of Temporal Process Constraint... |
150
click to vote
IASTEDSE
2004
14 years 12 months ago
2004
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
EUROPLOP
2006
14 years 12 months ago
2006
With the incresing presence on the Web of hypermedia contents with temporal constraints (time-based hypermedia), such as multimedia presentations, there must be a precise form to ...
APWEB
2005
Springer
15 years 4 months ago
2005
Springer
Flood control for reservoirs require operations in a dynamic and cooperative manner in order to respond to the changing flood control conditions. There is an increasing emphasis on...
IPPS
2000
IEEE
15 years 3 months ago
2000
IEEE
One of the keys for the success of parallel processing is the availability of high-level programming languages for on-the-shelf parallel architectures. Using explicit message passi...
110
click to vote
FATES
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...