7527 search results - page 1098 / 1506 » Design and implementation of the KioskNet system |
231
click to vote
SCP
2010
15 years 6 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
266
Voted
EDBT
2009
ACM
15 years 5 months ago
2009
ACM
Stream applications gained significant popularity over the last years that lead to the development of specialized stream engines. These systems are designed from scratch with a di...
227
click to vote
ICFEM
2009
Springer
15 years 5 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
270
click to vote
ANCS
2010
ACM
15 years 5 months ago
2010
ACM
As we move forward towards the next generation of wireless protocols, the push for a better radio physical layer is ever increasing. Conventional radio architectures are limited t...
289
click to vote
EUROSYS
2011
ACM
14 years 11 months ago
2011
ACM
Mobile applications are becoming increasingly ubiquitous and provide ever richer functionality on mobile devices. At the same time, such devices often enjoy strong connectivity wi...