Sciweavers

557 search results - page 45 / 112
» Calculi for Service-Oriented Computing
Sort
View
WWW
2006
ACM
14 years 9 months ago
On a service-oriented approach for an engineering knowledge desktop
Increasingly, manufacturing companies are shifting their focus from selling products to providing services. As a result, when designing new products, engineers must increasingly c...
Sylvia C. Wong, Richard M. Crowder, Gary B. Wills
ICWS
2009
IEEE
14 years 6 months ago
Building Collaboration Applications that Mix Web Services Hosted Content with P2P Protocols
The most commonly deployed web service applications employ client-server communication patterns, with clients running remotely and services hosted in data centers. In this paper, ...
Ken Birman, Jared Cantwell, Daniel Freedman, Qi Hu...
HICSS
2007
IEEE
144views Biometrics» more  HICSS 2007»
14 years 3 months ago
Towards a Methodology for Service Construction
— All large vendors of standard business software have announced to move to service oriented architecture. They claim benefits for their customers with regard to agility and ope...
Joachim Schelp, Robert Winter
FORTE
2008
13 years 10 months ago
Checking Correctness of Transactional Behaviors
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guan...
CMSB
2010
Springer
13 years 4 months ago
A generic abstract machine for stochastic process calculi
Loïc Paulevé, Simon Youssef, Matthew R...