5851 search results - page 934 / 1171 » Coordination as a Direct Process |
183
click to vote
ICRE
1998
IEEE
15 years 11 months ago
1998
IEEE
Systems requirements errors are numerous, persistent, and expensive. To detect such errors, and focus on critical ones during the development of a requirements document, we have d...
156
click to vote
INFOCOM
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper addresses a fundamental problem in resource management for flow-based hybrid switching systems. Such systems aim at efficient transport of layer-3 connectionless IP traf...
183
click to vote
VISUAL
1999
Springer
15 years 11 months ago
1999
Springer
A technique for detecting scene changes in compressed video streams is proposed which combines multiple modes of information. The proposed technique directly exploits and combines ...
207
click to vote
AMTA
1998
Springer
15 years 11 months ago
1998
Springer
Cross-language retrieval systems use queries in one natural language to guide retrieval of documents that might be written in another. Acquisition and representation of translation...
171
click to vote
COMPSAC
1997
IEEE
15 years 11 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...