6618 search results - page 138 / 1324 » Information and Communication Technologies for Development |
WWW
2006
ACM
15 years 10 months 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...
ETFA
2008
IEEE
14 years 11 months ago
2008
IEEE
Distributed real-time applications implement distributed applications with timeliness requirements. Such systems require a deterministic communication medium with bounded communic...
100
click to vote
WWW
2009
ACM
15 years 10 months ago
2009
ACM
The majority of people in rural developing regions do not have access to the World Wide Web. Traditional network connectivity technologies have proven to be prohibitively expensiv...
COMPSAC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract—The pervasiveness of complex communication services and the need for end-users to play a greater role in developing communication services have resulted in the creation ...
IE
2007
14 years 11 months ago
2007
In this paper, methods for nonverbal communication in digital games and virtual worlds are explored as alternatives to chat and other text-based forms of communication. Inspired b...