3914 search results - page 451 / 783 » Automating SLA modeling |
170
Voted
ICLP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We extend Clark’s definition of a completed program and the definition of a loop formula due to Lin and Zhao to disjunctive logic programs. Our main result, generaliz...
167
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
A gate level, automated fault diagnosis scheme is proposed for scan-based BIST designs. The proposed scheme utilizes both fault capturing scan chain information and failing test v...
157
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
workflow technology is becoming the key technologyfor businessprocess modeling, reengineering and automating. During the workflowspecification, enactment and administmtion, there ...
195
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
160
click to vote
ISPW
1994
IEEE
15 years 11 months ago
1994
IEEE
I consider the problems of process system architecture in the context of the Perry-Wolf model of software architecture: process elements are executed in process systems by both ma...