1972 search results - page 15 / 395 » Testing Mobile and Distributed Systems: Method and Experimen... |
ECMDAFA
2007
Springer
15 years 3 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
GI
2001
Springer
15 years 2 months ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...
66
Voted
CHI
2004
ACM
15 years 10 months ago
2004
ACM
Lightweight photo sharing, particularly via mobile devices, is fast becoming a common communication medium used for maintaining a presence in the lives of friends and family. How ...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
Context-aware information systems for mobile users have to cope with a variety of requirements in order to be able to provide an added value that goes beyond simply location-based...
MOBICOM
2006
ACM
15 years 3 months ago
2006
ACM
Wide area ocean networks for monitoring and scientific exploratory purposes are in various stages of design; smallscale networks are already in various stages of deployment and te...