587 search results - page 41 / 118 » A Formal Framework for Developing Adaptable Service-Based Ap... |
ICWS
2010
IEEE
13 years 10 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
DSN
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...
FMICS
2007
Springer
14 years 3 months ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
GCC
2007
Springer
13 years 10 months ago
2007
Springer
In recent years, the rapid growth of m-commerce is being driven by various emerging mobile applications and services. Among them, mobile information service is considered to be on...
ICOIN
2001
Springer
14 years 1 months ago
2001
Springer
Mobile Computing platforms such as mobile phones, PDAs or wearable computers operate in a much more volatile and limited environment than their stationary counterparts. Such platf...