5465 search results - page 404 / 1093 » Assigning Types to Processes |
159
Voted
INTERACT
1997
15 years 6 months ago
1997
In the following we will describe experiences made when introducing a shared workspace in a German federal ministry to support the cooperative typing of documents. It will be shown...
106
click to vote
COLING
1990
15 years 6 months ago
1990
Tense and aspect, together with mood and modality, usually form the entangled structure of a complex verb. They are often hard to translate by machines, because of both syntactic ...
176
Voted
GLOBECOM
2008
IEEE
15 years 5 months ago
2008
IEEE
We report in this paper measurements from France Telecom commercial networks carrying traffic generated and received by ADSL and FTTH customers. By adopting a flowbased approach to...
150
Voted
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Transforming constraint models is an important task in recent constraint programming systems. User-understandable models are defined during the modeling phase but rewriti...
131
Voted
JLP
2007
15 years 4 months ago
2007
Exploiting linear type structure, we introduce a new theory bisimilarity for the π-calculus in which we abstract away not only τ-actions but also non-τ actions which do not aff...