7530 search results - page 468 / 1506 » Design and Implementation of the YAWL System |
261
click to vote
TEI
2012
ACM
14 years 2 months ago
2012
ACM
Most current mobile technologies require on-screen operations for interacting with devices’ visual contents. However, as a trade-off for mobility, screens usually provide limite...
176
click to vote
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...
184
click to vote
SAC
2009
ACM
16 years 2 months ago
2009
ACM
Energy management is a critical concern in the design of embedded systems to prolong the lifetime or to maximize the performance under energy constraints. In particular, the emerg...
198
click to vote
SP
2007
IEEE
16 years 1 months ago
2007
IEEE
Existing mandatory access control systems for operating systems are difficult to use. We identify several principles for designing usable access control systems and introduce the...
177
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...