22114 search results - page 225 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
FORTE
2009
13 years 6 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
CSFW
1998
IEEE
14 years 19 days ago
1998
IEEE
Model checkers such as FDR have been extremely e ective in checking for, and nding, attacks on cryptographic protocols { see, for example 11, 12, 14] and many of the papers in 3]....
ITNG
2010
IEEE
14 years 1 months ago
2010
IEEE
—In reservoir engineering domain experts deal with many tasks and operations, ranging from reservoir simulation to well maintenance scheduling, with the goal of maximizing oil pr...
DSOM
2007
Springer
14 years 2 months ago
2007
Springer
This paper deals with the Change Management process within IT Service Management. Change Management includes several activities, some of which need to evaluate the risk exposure as...
SI3D
2003
ACM
14 years 1 months ago
2003
ACM
This paper presents user interface technology for mobile outdoor augmented reality systems, and a set of new techniques we have named construction at a distance for the capture an...