7530 search results - page 372 / 1506 » Design and Implementation of the YAWL System |
177
Voted
ECOOP
1994
Springer
15 years 11 months ago
1994
Springer
: Support for cooperative distributed applications is an important direction of computer systems research involving developments in operating systems, programming languages and dat...
179
click to vote
FMOODS
2007
15 years 8 months ago
2007
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...
152
click to vote
OSDI
1996
ACM
15 years 8 months ago
1996
ACM
This paper makes a case for paths as an explicit abstraction in operating system design. Paths provide a unifying infrastructure for several OS mechanisms that have been introduce...
212
click to vote
ICDIM
2010
IEEE
15 years 5 months ago
2010
IEEE
We present a risk management framework which allows to reason about and manage risk for role based access control systems. The framework expresses essential characteristics of risk...
164
click to vote
VLSID
2005
IEEE
16 years 7 months ago
2005
IEEE
Inter-wire coupling is a major source of power consumption and delay faults for on-chip buses implemented in UDSM SoC Systems. Elimination or minimization of such faults is crucia...