2346 search results - page 339 / 470 » Hierarchical State Machines |
124
click to vote
DSD
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we introduce concepts of a potential fault latency and a real fault latency for Finite State Machines (FSMs). The potential latency defines a minimal value of the po...
141
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Recently, Microsoft took a lead in the development of a standard for peer-to-peer network connectivity of various intelligent appliances, wireless devices and PCs. It is called th...
187
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
We test the hypothesis that: (1) Optic flow can be used to detect significant environmental features during locomotion in a biped, even given significant up and down movement and j...
148
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper addresses the issue of fault-tolerance in applications that make use of network storage. A network abstraction called the Network Storage Stack is presented, along with...
164
click to vote
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...