4460 search results - page 516 / 892 » Formal methods for interactive systems |
175
click to vote
PEPM
2007
ACM
16 years 25 days ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...
179
click to vote
ICAT
2006
IEEE
16 years 23 days ago
2006
IEEE
Today, hand-held computing and media devices are commonly used in our everyday lives. This paper assesses the viability of hand-held devices as effective platforms for “virtual r...
185
click to vote
CHARME
2003
Springer
15 years 12 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
164
click to vote
DARE
2000
15 years 8 months ago
2000
In this paper, we first present a brief review of approaches used for studying and designing Augmented Reality (AR) systems. The variety of approaches and definitions in AR requir...
182
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
—As the need for embedded systems to interact with other systems is growing fast, we see great opportunities in introducing the hardware-in-the-loop technique to the field of ha...