Sciweavers

557 search results - page 66 / 112
» Calculi for Service-Oriented Computing
Sort
View
CONCUR
2009
Springer
13 years 7 months ago
BlenX Static and Dynamic Semantics
We introduce a new programming language called BlenX. It is strongly inspired to process calculi and it is an evolution of Betabinders. It has been specifically designed and implem...
Corrado Priami, Paola Quaglia, Alessandro Romanel
CALCO
2005
Springer
114views Mathematics» more  CALCO 2005»
14 years 2 months ago
Towards a Coalgebraic Semantics of the Ambient Calculus
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
SAC
2009
ACM
14 years 3 months ago
Efficient mobile reasoning for pervasive discovery
Semantic service discovery architectures that operate in mobile environments must cope with the significant challenges of finding relevant services rapidly, while facing constrain...
Luke Steller, Shonali Krishnaswamy
ISTA
2008
13 years 10 months ago
Towards a Theory of Services
Abstract. Service-oriented Computing and Service-oriented Architectures aspire to better exploit existing middleware technologies. To this end, a more flexible, platform independen...
Wolfgang Reisig
IJWET
2008
104views more  IJWET 2008»
13 years 9 months ago
Web services-oriented architectures for mobile SOLAP applications
: With the growing popularity of mobile computing and the empowerment of mobile devices by high end-users and decision-makers, the development of architectures based on web service...
Thierry Badard, Yvan Bédard, Frederic Huber...