2940 search results - page 354 / 588 » Relational Parametricity and Control |
179
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...
153
click to vote
GW
2003
Springer
15 years 11 months ago
2003
Springer
In this work, we present the results of a comparative user study evaluating multimodal user interactions with regard to two different operation scenarios: a desktop Virtual-Reality...
153
click to vote
HUC
2003
Springer
15 years 11 months ago
2003
Springer
We present a 2-way selection method to select objects in a physical environment with a novel feedback and transfer of control mechanism. A modulated laser pointer signal sent from ...
199
click to vote
ISCIS
2003
Springer
15 years 11 months ago
2003
Springer
Effects of network parameters on the performance of mobile ad hoc networks (MANETs) have been widely investigated. However, there are certain issues related to the hardware implem...
150
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Distributed software development support systems typically use a centralized client-server architecture. This approach has some drawbacks such as the participants may experience l...