10038 search results - page 569 / 2008 » Model Checking for Managers |
210
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
The autonomic workflow engine enables workflow to be dynamically specified and adapted using Event-Condition-Action rules. A new approach to autonomic execution of workflow process...
184
click to vote
WECWIS
2005
IEEE
16 years 23 days ago
2005
IEEE
This paper introduces a new mediation mechanism into agent negotiations. The negotiation mechanism takes a supply-chain perspective to the construction of software services, attem...
157
click to vote
KES
2004
Springer
16 years 17 days ago
2004
Springer
Leveraging the potential power of even small handheld devices able to communicate wirelessly requires dedicated support. In particular, collaborative applications need sophisticate...
206
click to vote
EUROMICRO
2004
IEEE
15 years 11 months ago
2004
IEEE
There is a need for mechanisms for maintaining and restoring software integrity on deployed systems. Dynamic replacement, removal and addition of components in deployed systems is...
128
click to vote
VLDB
1991
ACM
15 years 10 months ago
1991
ACM
This paper presentsa version model which handlesdatabaseschemachangesandwhich takesevolution into account. Its originality is in allowing the development of partial schema version...