5451 search results - page 775 / 1091 » Typed Operational Semantics |
151
click to vote
HAPTICS
2003
IEEE
15 years 11 months ago
2003
IEEE
Force-feedback mechanisms have been designed to simplify and enhance the human-vehicle interface. The increase in secondary controls within vehicle cockpits has created a desire f...
163
click to vote
HOTOS
2003
IEEE
15 years 11 months ago
2003
IEEE
Many types of information available in a pervasive computing environment, such as people location information, should be accessible only by a limited set of people. Some propertie...
159
click to vote
ICNP
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents an analytical model to compute the average service time and jitter experienced by a packet when transmitted in a saturated IEEE 802.11 ad hoc network. In contr...
157
click to vote
ISMVL
2002
IEEE
15 years 11 months ago
2002
IEEE
Decision diagrams are the state-of-the-art representation for logic functions, both binary and multiple-valued. Here we consider ways to improve the construction of multiple-value...
143
click to vote
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Recovery systems must save state before a failure occurs to enable the system to recover from the failure. However, recovery will fail if the recovery system saves any state corru...