22114 search results - page 77 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
DSVIS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
FORTE
2007
13 years 9 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
ICIP
1995
IEEE
13 years 11 months ago
1995
IEEE
Searching an image for the occurrence of a pattern or a template is an essential step in a number of image processing applications. We propose a new multiresolution matching crite...
PERVASIVE
2005
Springer
14 years 1 months ago
2005
Springer
In this paper, we describe TinyObj service discovery model, which uses short wireless packet broadcasts for service discovery within a user’s vicinity. We present a prototype im...
PERCOM
2004
ACM
14 years 7 months ago
2004
ACM
In this paper, we analyze the role of the social group in a Ubiquitous Computing (Ubicomp) environment as a source of contextual information. A model is presented to address the s...