Login / Signup
Validating Safety for the Integrated Services of the Home Network System Using JML.
Ben Yan
Masahide Nakamura
Lydie du Bousquet
Ken-ichi Matsumoto
Published in:
Inf. Media Technol. (2008)
Keyphrases
</>
home network
ubiquitous computing environments
network services
mobile ip
security policies
ubiquitous computing
web services
service composition
service oriented
access control
end users
service discovery
context awareness
context aware
mobile applications
mobile services
mobile devices