4098 search results - page 50 / 820 » Sound mobility models |
117
click to vote
BIRTHDAY
2005
Springer
15 years 1 months ago
2005
Springer
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...
WISE
2003
Springer
15 years 5 months ago
2003
Springer
— Movement, or mobility, is key to the accessibility, design, and usability of many websites. While some peripheral mobility issues have been addressed few have centered on the m...
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
The world-wide growth of the mobile-telephony market opens the door for mobile commerce (m-commerce). For the restricted target platforms used for m-commerce such as mobile phones...
132
click to vote
FMCO
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
ICALP
2004
Springer
15 years 5 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...