3804 search results - page 457 / 761 » interactions 2008 |
170
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
163
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
In biology, many organisms coordinate their interactions in a self-organizing and emergent way solely by means of indirect communication based on chemical substances. These so-cal...
178
click to vote
WIMOB
2008
IEEE
16 years 1 months ago
2008
IEEE
—Cross-layer design has been proposed as a promising paradigm to tackle various problems of wireless communication systems. Recent research has led to a variety of protocols that...
212
click to vote
AH
2008
Springer
16 years 1 months ago
2008
Springer
Two groups of 8 participants experimented two enhancements of standard online help for the general public during one hour: adaptive proactive (AP) assistance and multimodal user su...
159
click to vote
CHI
2010
ACM
16 years 8 hour ago
2010
ACM
In this paper we portray a specific type of knowledge which we term ‘nomadic knowledge’. It is required periodically by different actors and travels along foreseeable paths be...