6656 search results - page 1055 / 1332 » Change, Change, Change: Three Approaches |
207
click to vote
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract-- Analysis of workflows in terms of structural correctness is important for ensuring the quality of workflow models. Typically, this analysis is only one step in a larger ...
161
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
186
click to vote
EUC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Advances in wireless and mobile communication technologies have enabled the development of various RFID-based systems and applications in addition to the extension of the...
209
click to vote
EUROPKI
2006
Springer
15 years 10 months ago
2006
Springer
Privacy-aware Public Key Infrastructure (PKI) can maintain user access control and yet protect user privacy, which is envisioned as a promising technique in many emerging applicat...
185
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...