Sciweavers

577 search results - page 61 / 116
» Actions in context
Sort
View
ICON
2007
IEEE
14 years 2 months ago
Erlang B as a Performance Model for IP Flows
— Flow-based networking has gained momentum in the research community in recent years. It allows improved performance guarantees and dynamic, load-aware routing. Flowbased networ...
Alexander A. Kist
SPIN
2005
Springer
14 years 1 months ago
Improving Spin's Partial-Order Reduction for Breadth-First Search
We describe an improvement of the partial-order reduction algorithm for breadth-first search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...
Dragan Bosnacki, Gerard J. Holzmann
CHI
2003
ACM
14 years 8 months ago
SmartPad: a finger-sensing keypad for mobile interaction
This paper introduces SmartPad, a new input device for mobile computers that is an enhanced physical keypad by a finger position sensor. This input device acts as a normal keypad ...
Jun Rekimoto, Haruo Oba, Takaaki Ishizawa
JSW
2007
165views more  JSW 2007»
13 years 7 months ago
In and out of Reality: Janus-Faced Location Awareness in Ubiquitous Games
— Many future ubiquitous devices will be able to determine their precise physical position using different types of localization techniques (e.g. GPS antennas for outdoor-, RFID ...
Alexander Höhfeld
SIGSOFT
2008
ACM
14 years 8 months ago
Inter-context control-flow and data-flow test adequacy criteria for nesC applications
NesC is a programming language for applications that run on top of networked sensor nodes. Such an application mainly uses an interrupt to trigger a sequence of operations, known ...
Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan