599 search results - page 76 / 120 » Workshop on Software Engineering and Mobility |
FSTTCS
2005
Springer
14 years 2 months ago
2005
Springer
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...
WICON
2008
13 years 10 months ago
2008
The possibility for spontaneous ad hoc networks between mobile devices has been increasing as small devices become more capable of hosting useful networked applications. These app...
SEM
2004
Springer
14 years 2 months ago
2004
Springer
The use of handheld networked devices to access information systems by people moving around is spreading rapidly. Systems being used in this way typically face dynamic variation in...
WER
2001
Springer
14 years 1 months ago
2001
Springer
A survey of different types of prototypes and current prototyping methods is presented. Especially the usage of prototypes with use cases and scenarios is investigated, and an appr...
EUROMICRO
2007
IEEE
14 years 3 months ago
2007
IEEE
Multicast network services advantageously complement multimedia information and communication technologies, as they open up the realm for highly scalable multicustomer application...