Sciweavers

ACSC
2008
IEEE
14 years 6 months ago
Relative simulation and model checking of real-time processes
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...
Colin J. Fidge
ACSC
2008
IEEE
14 years 6 months ago
A Local Broker enabled MobiPass architecture for enhancing trusted interaction efficiency
While mobile computing provides a potentially vast business opportunity for many industry participants, it also raises issues such as security and performance. This paper proposes...
Will Tao, Robert Steele
ACSC
2008
IEEE
14 years 6 months ago
JWS: a flexible web service
Web services have been proposed as means to provide more convenient access to computation services. An issue that still must be dealt with is what to do if there is no web service...
Andrew Cho, Paresh Deva, Ewan D. Tempero
ACSC
2008
IEEE
14 years 6 months ago
HOVER: hybrid on-demand distance vector routing for wireless mesh networks
Abstract— Hybrid Wireless Mesh Networks are a combination of mobile ad hoc networks and infrastructure wireless mesh networks, consisting of two types of nodes: Mobile Mesh Clien...
Stephan Mir, Asad Amir Pirzada, Marius Portmann
SIGCSE
2010
ACM
186views Education» more  SIGCSE 2010»
14 years 6 months ago
Teaching operating systems using virtual appliances and distributed version control
Students learn more through hands-on project experience for computer science courses such as operating systems, but providing the infrastructure support for a large class to learn...
Oren Laadan, Jason Nieh, Nicolas Viennot
FDG
2009
ACM
14 years 6 months ago
Questioning video games' influence on CS interest
In this paper, we examine the relationship between digital games and interest in computer science. When we undertook this research, our goal was to expand upon past work that expl...
Betsy James DiSalvo, Amy Bruckman
CANDC
2009
ACM
14 years 6 months ago
Musicomputation: teaching computer science to teenage musicians
While algorithms have existed in math, music and other fields for over one thousand years, the use of algorithms to solve problems has become easier than ever before due to the a...
Adam L. Meyers, Marilyn C. Cole, Evan Korth, Sam P...
WSKS
2009
Springer
14 years 6 months ago
Towards an "Intelligent" Tagging Tool for Blogs
Tagging allows people to effectively organize web resources such as images, bookmarks or blog articles. Things are found easier by browsing tag clouds relying on the tags that hav...
Juraj Frank, Renate Motschnig, Martin Homola
WSKS
2009
Springer
14 years 6 months ago
Improving Access to Services through Intelligent Contents Adaptation: The SAPI Framework
Nowadays, every public or private company has to provide the access to their services through Internet. Unfortunately, the access channels and devices increase both in numbers and ...
Nicola Capuano, Gaetano Rocco De Maio, Pierluigi R...
WG
2009
Springer
14 years 6 months ago
Distance d-Domination Games
Abstract. We study graph searching games where a number of cops try to capture a robber that is hiding in a system of tunnels modelled as a graph. While the current position of the...
Stephan Kreutzer, Sebastian Ordyniak