523 search results - page 32 / 105 » A Formal Account of WS-BPEL |
158
click to vote
TASE
2009
IEEE
16 years 25 days ago
2009
IEEE
Retrenchment is a framework that allows relatively unrestricted system evolution steps to be described in a way that gives an evolution step some formal content — unlike model b...
193
Voted
SEUS
2008
IEEE
16 years 14 days ago
2008
IEEE
This paper provides a QoS analysis of a dynamic, ubiquitous UMTS network scenario in the automotive context identified in the ongoing EC HIDENETS project. The scenario comprises d...
155
click to vote
QEST
2007
IEEE
16 years 11 days ago
2007
IEEE
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
147
click to vote
ATAL
2007
Springer
16 years 8 days ago
2007
Springer
This paper presents the dynamics of multiple reinforcement learning agents from an Evolutionary Game Theoretic (EGT) perspective. We provide a Replicator Dynamics model for tradit...
131
click to vote
BPM
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. We put forward an architectural framework that promotes the externalisation of the social dimension that arises in software-intensive systems which, like in healthcare, e...