85 search results - page 5 / 17 » Service Interaction: Patterns, Formalization, and Analysis |
ICSEA
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
CAISE
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Spreadsheets are one of the most popular end-users programming environment. Although spreadsheets provide an interactive interface for data manipulation and analysis, the...
FORTE
2009
13 years 5 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 ...
SKG
2006
IEEE
14 years 1 months ago
2006
IEEE
Sensor network is a novel technology about acquiring and processing information. This paper introduces the basic interaction patterns between requesters and providers of services ...
MOBILITY
2009
ACM
14 years 11 days ago
2009
ACM
Main requirement of recent computing environments, like mobile and then ubiquitous computing, is to adapt applications to context. On the other hand, access control generally trus...