1838 search results - page 138 / 368 » Process modelling: the deontic way |
WWW
2006
ACM
16 years 6 days ago
2006
ACM
In this paper we describe an approach for the verification of Web service compositions defined by sets of BPEL processes. The key aspect of such a verification is the model adopte...
COORDINATION
2009
Springer
16 years 2 days ago
2009
Springer
In protocol development for wireless systems, the choice of appropriate mobility models describing the movement patterns of devices has long been recognised as a crucial factor for...
CHI
2007
ACM
15 years 12 months ago
2007
ACM
Visual search is an important part of human-computer interaction. It is critical that we build theory about how people visually search displays in order to better support the user...
PG
2003
IEEE
15 years 4 months ago
2003
IEEE
The acquisition of geometric information from realworld objects has become a major way of modeling complex scenes and environments. Unfortunately, most optical methods for geometr...
ICPR
2010
IEEE
14 years 11 months ago
2010
IEEE
Probabilistic language models are critical to applications in natural language processing that include speech recognition, optical character recognition, and interfaces for text e...