Sciweavers

2373 search results - page 199 / 475
» Modelling Facial Behaviours
Sort
View
TAICPART
2006
IEEE
170views Education» more  TAICPART 2006»
16 years 8 days ago
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
José García-Fanjul, Claudio de la Ri...
EUSFLAT
2001
15 years 7 months ago
Imprecise belief updating for uncertain user modelling
In this paper we present a new approach to incremental user recognition in fuzzy environments where user classification is updated within an epistemological model. We extend Einho...
Jonathan Rossiter, Tru H. Cao, Trevor P. Martin, J...
IJIEM
2007
78views more  IJIEM 2007»
15 years 6 months ago
Supporting the design of service contracts with interaction models
: A service contract typically specifies the service level, i.e., the quality parameters of the service to be performed. In addition to this static part, there is also the need to ...
Peter Rittgen
SAC
2008
ACM
15 years 5 months ago
Modelling adaptive services for distributed systems
There exists a growing class of distributed applications that require adaptive middleware services, i.e., services that are able to monitor changes in the execution environment an...
Liliana Rosa, Antónia Lopes, Luís Ro...
UTP
2010
15 years 4 months ago
On Modelling User Observations in the UTP
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...
Michael J. Banks, Jeremy L. Jacob