2612 search results - page 73 / 523 » Mobile Processes and Termination |
HPCS
2006
IEEE
14 years 1 months ago
2006
IEEE
ICEIS
2006
IEEE
14 years 1 months ago
2006
IEEE
IUI
2005
ACM
14 years 1 months ago
2005
ACM
The paper presents a first prototype of a handheld museum guide delivering contextualized information based on the recognition of drawing details selected by the user through the ...
ESOP
2005
Springer
14 years 1 months ago
2005
Springer
ICALP
2004
Springer
14 years 1 months ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...