4520 search results - page 535 / 904 » Algebraic Techniques for Timed Systems |
148
Voted
AUIC
2004
IEEE
15 years 10 months ago
2004
IEEE
Conventional travel itineraries list travel related information, such as flights and hotel bookings, in a chronological order of date and time. As such the only observable relatio...
190
click to vote
ARC
2008
Springer
15 years 9 months ago
2008
Springer
Recent technological advances in imaging industry have lead to the production of imaging systems with high density pixel sensors. However, their long exposure times limit their app...
203
Voted
DIM
2008
ACM
15 years 8 months ago
2008
ACM
We describe a technique aimed at addressing longstanding problems for password reset: security and cost. In our approach, users are authenticated using their preferences. Experime...
170
Voted
SIROCCO
2008
15 years 8 months ago
2008
: A distributed system is scalable if the rate at which it completes its computation and communication tasks does not depend on its size. As an example, the scalability of a peer-t...
185
click to vote
PE
2008
Springer
15 years 6 months ago
2008
Springer
Following up on a recently renewed interest in computational methods for M/G/1-type processes, this paper considers an M/G/1-like system in which the service time distribution is ...