1255 search results - page 182 / 251 » A Proof Environment for the Development of Group Communicati... |
ICC
2009
IEEE
14 years 2 months ago
2009
IEEE
— Vehicle-to-vehicle (VTV) communications are of interest for applications within traffic safety and congestion avoidance, but the development of suitable communications systems...
WWW
2011
ACM
13 years 2 months ago
2011
ACM
Choreography analysis has been a crucial problem in service oriented computing. Interactions among services involve message exchanges across organizational boundaries in a distrib...
CHI
2004
ACM
14 years 8 months ago
2004
ACM
In this paper we describe a system that allows users to annotate digital photos at the time of capture. The system uses camera phones with a lightweight client application and a s...
MKM
2004
Springer
14 years 1 months ago
2004
Springer
This paper reports on refinements and extensions to the MathLang framework that add substantial support for natural language text. We show how the extended framework supports mult...
PPSC
1993
13 years 9 months ago
1993
Wide area computer networks have become a basic part of today's computing infrastructure. These networks connect a variety of machines, presenting an enormous computing resou...