2227 search results - page 178 / 446 » Reversibility and Models for Concurrency |
175
click to vote
ICNP
1999
IEEE
15 years 11 months ago
1999
IEEE
As the most widely used reliable transport in today's Internet, TCP has been extensively studied in the past. However, previous research usually only considers a small or med...
270
click to vote
SMA
2008
ACM
15 years 6 months ago
2008
ACM
3D mesh models are now widely available for use in various applications. The demand for automatic model analysis and understanding is ever increasing. Mesh segmentation is an impo...
147
click to vote
EWSPT
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. Interact Intermediate supports goal-directed process modeling in such a way as to maximize the concurrency of activities and to minimize the direct control of humans in t...
148
click to vote
COLING
1996
15 years 8 months ago
1996
We present an approach to parallel natural language parsing which is based on a concurrent, object-oriented model of computation. A depth-first, yet incomplete parsing algorithm f...
199
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
—This paper establishes a bridge between presheaf models for concurrency and the more operationally-informative world of event structures. It concentrates on a particular preshea...