623 search results - page 33 / 125 » Relational Parametricity for Control Considered as a Computa... |
163
click to vote
DASFAA
2010
IEEE
15 years 6 months ago
2010
IEEE
Achieving data security over cooperating web services is becoming a reality, but existing XML access control architectures do not consider this federated service computing. In this...
144
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Strong and weak simulation relations have been proposed for Markov chains, while strong simulation and strong probabilistic simulation relations have been proposed for probabilisti...
166
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
Using a mobile device in a social context should not cause embarrassment and disruption to the immediate environment. Interaction with mobile and wearable devices needs to be subt...
161
click to vote
ICIP
2002
IEEE
16 years 7 months ago
2002
IEEE
A visually-optimal quantization and rate-control strategy based on results of recent contrast sensitivity and suprathreshold summation experiments is proposed. At suprathreshold c...
165
click to vote
JSAC
2007
15 years 6 months ago
2007
—The availability of optical network infrastructure and appropriate user control software has recently made it possible for scientists to establish end-to-end circuits across mul...