6667 search results - page 384 / 1334 » Applications At Your Service |
169
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
We introduce a type system providing a guarantee of client progress for a fragment of CaSPiS, a recently proposed process calculus for serviceoriented applications. The interplay o...
175
click to vote
COMCOM
2002
15 years 6 months ago
2002
With the emersion of new types of applications on the Internet, the need of broadband access is unavoidable. It also makes the differentiation of services provided by the network ...
201
click to vote
TGC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
166
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
We propose a set of optimization techniques, collectively called Wireless SOAP (WSOAP), to compress SOAP messages transmitted across a wireless link. The Name Space Equivalency te...
186
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
Interest in extracting and exploiting information from wireless sensor networks has been increasing for several years. Most scenarios focus on collecting and evaluating large amoun...