2282 search results - page 336 / 457 » Active property checking |
VRST
2003
ACM
14 years 3 months ago
2003
ACM
After a wrap-up in the human physiology and an overview on physical principles, this paper introduces four novel types of actuators for haptic feedback devices based on electroact...
GCC
2003
Springer
14 years 3 months ago
2003
Springer
A formal model called CoAuto (Cooperative Automaton) is proposed ibe and analyze cooperative processes. A basic CoAuto abstracts the behaviors of a single active entity. It separat...
SIGCOMM
2000
ACM
14 years 2 months ago
2000
ACM
We describe a deterministic model of packet delay and use it to derive both the packet pair [2] property of FIFO-queueing networks and a new technique (packet tailgating) for acti...
UIST
1999
ACM
14 years 2 months ago
1999
ACM
Nested User Interface Components combine the concepts of Zooming User Interfaces (ZUIs) with recursive nesting of active graphical user interface widgets. The resulting system of ...
KBSE
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...