7530 search results - page 142 / 1506 » Design and Implementation of the YAWL System |
102
click to vote
DAC
1996
ACM
15 years 2 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
78
Voted
RTAS
2005
IEEE
15 years 3 months ago
2005
IEEE
Control systems running on a computer are subject to timing disturbances coming from implementation constraints. Fortunately closed-loop systems behave robustly w.r.t. modelling e...
DAC
2011
ACM
13 years 10 months ago
2011
ACM
Technology scaling allows the integration of billions of transistors on the same die but CAD tools struggle in keeping up with the increasing design complexity. Design productivit...
ECIS
2011
13 years 10 months ago
2011
Technologies that are intentionally designed to change a person’s attitude or behaviors are emergent. Designers of these technologies frequently use implementations of influence...
143
click to vote
ANCS
2011
ACM
13 years 10 months ago
2011
ACM
Network virtualization has emerged as a powerful technique to deploy novel services and experimental protocols over shared network infrastructures. Although recent research has hi...