1410 search results - page 94 / 282 » An operational approach to the design of workflow systems |
111
click to vote
IEEEAMS
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
116
click to vote
SOSP
2003
ACM
15 years 10 months ago
2003
ACM
The challenge for user authentication in a global file system is allowing people to grant access to specific users and groups in remote administrative domains, without assuming ...
104
Voted
FDL
2005
IEEE
15 years 7 months ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
116
Voted
ICDE
2010
IEEE
15 years 3 months ago
2010
IEEE
HECATAEUS is an open-source software tool for enabling impact prediction, what-if analysis, and regulation of relational database schema evolution. We follow a graph theoretic appr...
114
click to vote
IFM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...