8008 search results - page 1379 / 1602 » Computer-Aided Language Processing |
140
click to vote
EDBTW
2004
Springer
15 years 8 months ago
2004
Springer
Many users and applications require the integration of semi-structured data from autonomous, heterogeneous Web sources. Over the last years mediator systems have emerged that use d...
117
click to vote
PADL
2004
Springer
15 years 7 months ago
2004
Springer
Message Sequence Charts (MSC) have traditionally been used as a weak form of behavioral requirements in software design; they denote scenarios which may happen. Live Sequence Chart...
125
click to vote
TACAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...
130
Voted
DOCENG
2003
ACM
15 years 7 months ago
2003
ACM
Interactive video technology is meant to support user-interaction with video in scene objects associated with navigation in video segments and access to text-based metadata. Inter...
143
Voted
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program’s user community. Several example applications illustrat...