1733 search results - page 239 / 347 » There is more to context than location |
134
click to vote
CONCUR
2005
Springer
15 years 12 months ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
162
click to vote
FSTTCS
2005
Springer
15 years 12 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
151
click to vote
ACMICEC
2004
ACM
15 years 12 months ago
2004
ACM
Many companies have found out the hard way that successful ecommerce requires more than a flashy web presence. Existing business processes must be seamlessly integrated with the n...
136
click to vote
EXTREME
2004
ACM
15 years 12 months ago
2004
ACM
"Overlap" is the common term for cases where some markup structures do not nest neatly into others, such as when a quotation starts in the middle of one paragraph and en...
179
click to vote
IUI
2004
ACM
15 years 12 months ago
2004
ACM
Navigation services can be found in different situations and contexts: while connected to the web through a desktop PC, in cars, and more recently on PDAs while on foot. These ser...