129 search results - page 5 / 26 » Formalizing Mobility in Service Oriented Computing |
131
click to vote
WWW
2006
ACM
15 years 10 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
ASM
2003
ASM
15 years 9 months ago
2003
ASM
136
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
157
click to vote
ISCC
2008
IEEE
15 years 10 months ago
2008
IEEE
: Owing to the recent technical advances in the computing and mobile communications domain, the world of online virtual communities is experiencing a phenomenal growth and ever-inc...
131
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
Web services are todays preferred vehicle for creating service-oriented architectures (SOA). Due to the boom of personal networked devices, the Web also found its way to the mobil...