Sciweavers

1456 search results - page 175 / 292
» An Overview of the SODA System
Sort
View
MMS
2006
15 years 6 months ago
qWixP, a Qt-based, Wireless Information Exchange Platform
: Due to technological advances, wireless personal digital assistants (PDAs) are becoming quite popular. However, it seems as if none of the existing applications fully exploits th...
Ralf Salomon, Holger Harms, Frank Reichenbach, Tho...
SIGCSE
2008
ACM
120views Education» more  SIGCSE 2008»
15 years 6 months ago
Computing and higher education in Peru
Abstract: In Peru, the computing discipline as an academic field has been neglected during decades deriving in a lowquality higher education system and consequently shaping an acad...
Marco A. Alvarez, José Baiocchi, José...
SAC
2006
ACM
15 years 6 months ago
From spontaneous total order to uniform total order: different degrees of optimistic delivery
A total order protocol is a fundamental building block in the construction of distributed fault-tolerant applications. Unfortunately, the implementation of such a primitive can be...
Luís Rodrigues, José Mocito, Nuno Ca...
AC
2005
Springer
15 years 6 months ago
Software model checking with SPIN
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
Gerard J. Holzmann
ADHOC
2005
144views more  ADHOC 2005»
15 years 6 months ago
Bluetooth scatternet formation: A survey
This paper describes the issue of piconet interconnection for Bluetooth technology. These larger networks, known as scatternets, have the potential to increase networking flexibil...
Roger M. Whitaker, Leigh E. Hodge, Imrich Chlamtac