2542 search results - page 397 / 509 » An Operational Definition of Context |
160
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
163
click to vote
ESWS
2004
Springer
15 years 11 months ago
2004
Springer
Publish/subscribe systems are an alternative to query based systems in cases where the same information is asked for over and over, and where clients want to get updated answers fo...
196
click to vote
GG
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In the context of graph transformation we look at the operation of switching, which can be viewed as an elegant method for realizing global transformations of (group-labe...
163
click to vote
QOFIS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Web pre-fetching is a technique that tries to improve the QoS perceived by a user when surfing the web. Previous studies show that the cost of an effective hit rate is qu...
142
click to vote
TSD
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Translation of Multi-word expressions (MWEs) is one of the most challenging tasks of a Machine translation (MT) system. In this paper, we present an innovative technique ...