6031 search results - page 497 / 1207 » Communicating Transaction Processes |
169
click to vote
DSVIS
2008
Springer
15 years 8 months ago
2008
Springer
The ability to characterize visualizations would bring several benefits to the design process. It would help designers to assess their designs, reuse existing designs in new contex...
186
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We...
163
click to vote
EACL
2003
ACL Anthology
15 years 8 months ago
2003
ACL Anthology
We describe an implementation integrating a spoken dialogue system with a mobile robot, which the user can direct to specific locations, ask for information about its status, and...
180
click to vote
EACL
2003
ACL Anthology
15 years 8 months ago
2003
ACL Anthology
We describe our investigations in generating textual summaries of physiological time series data to aid medical personnel in monitoring babies in neonatal intensive care units. Ou...
171
click to vote
ISCAPDCS
2003
15 years 8 months ago
2003
In this paper, we present a system partitioning technique in which the input system specification is based on C++ language. The proposed technique processes data and precedence de...