84 search results - page 15 / 17 » A Chart Semantics for the Pi-Calculus |
SEMCO
2008
IEEE
14 years 5 days ago
2008
IEEE
Blogs, discussion forums and social networking sites are an excellent source for people’s opinions on a wide range of topics. We examine the application of voting theory to “I...
SEMCO
2007
IEEE
14 years 1 days ago
2007
IEEE
This paper proposes a system to facilitate exchange of information by automatically finding experts, competent in answering a given question. Our objective is to provide an onlin...
AICT
2006
IEEE
13 years 12 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
IUI
2005
ACM
13 years 11 months ago
2005
ACM
Our goal is to automatically recognize and enroll new vocabulary in a multimodal interface. To accomplish this our technique aims to leverage the mutually disambiguating aspects o...
CONCUR
2004
Springer
13 years 11 months ago
2004
Springer
Netcharts have been introduced recently by Mukund et al. in [17]. This new appealing approach to the specification of collections of message sequence charts (MSCs) benefits from ...