4745 search results - page 491 / 949 » Discretization: An Enabling Technique |
187
click to vote
ISCC
2005
IEEE
16 years 19 days ago
2005
IEEE
The broad spread of packet data networks and the emergence of applications in multimedia communications, created a driving force towards an improved Quality of Service (QoS) model...
183
click to vote
QEST
2005
IEEE
16 years 18 days ago
2005
IEEE
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
139
click to vote
UIST
2005
ACM
16 years 18 days ago
2005
ACM
Supporting groups of individuals exploring large maps and design diagrams on interactive tabletops is still an open research problem. Today’s geospatial, mechanical engineering ...
187
click to vote
ASIACRYPT
2005
Springer
16 years 17 days ago
2005
Springer
The security of key agreement protocols has traditionally been notoriously hard to establish. In this paper we present a modular approach to the construction of proofs of security ...
172
click to vote
CONTEXT
2005
Springer
16 years 17 days ago
2005
Springer
While interacting with other users in dynamic use contexts, one often aims at coordinating activities as events unfold. Such coordination can often be unplanned or impromptu. There...