22114 search results - page 77 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
151
click to vote
DSVIS
2005
Springer
15 years 11 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...
175
click to vote
FORTE
2007
15 years 7 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...
150
click to vote
ICIP
1995
IEEE
15 years 9 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...
142
click to vote
PERVASIVE
2005
Springer
15 years 11 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...
169
click to vote
PERCOM
2004
ACM
16 years 5 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...