22114 search results - page 356 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
180
click to vote
ICNP
2000
IEEE
15 years 12 months ago
2000
IEEE
A scalable object location service can enable users to search for various objects in an environment where many small, networked devices are attached to objects. We investigate two...
204
click to vote
IEEESCC
2005
IEEE
16 years 1 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
231
click to vote
ICDAR
2003
IEEE
16 years 21 days ago
2003
IEEE
For handwritten character recognition, a new elastic image matching (EM) technique based on a class-dependent deformation model is proposed. In the deformation model, any deformat...
225
click to vote
JWSR
2006
15 years 7 months ago
2006
Web/Gridservices'metadataandsemanticsarebecomingincreasingimportantforservicesharing and effective reuse. In this paper we present a generic framework for engineering and man...
230
Voted
FMICS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...