Sciweavers

129 search results - page 2 / 26
» Formalizing Mobility in Service Oriented Computing
Sort
View
ICPPW
1999
IEEE
13 years 9 months ago
Design of MOBILE MOM: Message Oriented Middleware Service for Mobile Computing
Message oriented middleware (MOM) is a specific class of middleware that operates on the principles of message passing or message queuing. Existing MOM syste doesn't support ...
Do-Guen Jung, Kwang-Jin Paek, Tai-Yun Kim
EMISA
2006
Springer
13 years 8 months ago
A Unified Formal Foundation for Service Oriented Architectures
: This paper summarizes how an algebra for mobile systems, the -calculus, can be applied as unified formal foundation to service oriented architectures (SOA). The concepts accounte...
Frank Puhlmann
MIDDLEWARE
2004
Springer
13 years 10 months ago
Security requirements in service oriented architectures for ubiquitous computing
This work presents a detailed analysis of the security requirements for Service Oriented Architecture in mobile computing, still missing in the current literature. The purpose of ...
Domenico Cotroneo, Almerindo Graziano, Stefano Rus...
ERCIM
2007
73views more  ERCIM 2007»
13 years 4 months ago
Formal Modelling and Verification in Service-Oriented Computing
Maurice H. ter Beek, Stefania Gnesi, Fabio Martine...