Sciweavers

5599 search results - page 446 / 1120
» Abstract State Services
Sort
View
BIOSIG
2003
107views Biometrics» more  BIOSIG 2003»
15 years 8 months ago
Authentication Framework for Smart Cards
: This paper introduces a generalized authentication framework for smart he framework abstracts the authentication services on the card and allows flexible configuration of authent...
Apostol Vassilev, Michael Hutchinson
ENTCS
2006
148views more  ENTCS 2006»
15 years 6 months ago
Towards the Semantics and Verification of BPEL4WS
Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...
Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan ...
QUESTA
2006
103views more  QUESTA 2006»
15 years 6 months ago
Heavy Tails in Multi-Server Queue
Abstract. In this paper, the asymptotic behaviour of the distribution tail of the stationary waiting time W in the GI/GI/2 FCFS queue is studied. Under subexponential-type assumpti...
Serguei Foss, Dmitry Korshunov
WOA
2010
15 years 4 months ago
A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN
Abstract--Recent works proposed the adoption of a natureinspired approach of chemistry for implementing service architectures suitable for pervasive applications [34]. In particula...
Elena Nardini, Mirko Viroli, Matteo Casadei, Andre...
QUESTA
2011
15 years 1 months ago
Large number of queues in tandem: Scaling properties under back-pressure algorithm
Abstract We consider a system with N unit-service-rate queues in tandem, with exogenous arrivals of rate λ at queue 1, under a back-pressure (MaxWeight) algorithm: service at queu...
Alexander L. Stolyar