605 search results - page 76 / 121 » A strategy for efficiently verifying requirements |
SPIN
2000
Springer
14 years 19 days ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
ECOWS
2008
Springer
13 years 10 months ago
2008
Springer
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...
USENIX
1994
13 years 10 months ago
1994
As distributed computing systems grow in size, complexity and variety of application, the problem of protecting sensitive data from unauthorized disclosure and tampering becomes i...
CL
2008
Springer
13 years 9 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
GLOBECOM
2010
IEEE
13 years 7 months ago
2010
IEEE
Coordinated multi-point (CoMP) in the cellular uplink appears to be an effective option to combat inter-cell interference, offering large improvements in spectral efficiency and fa...