7311 search results - page 1126 / 1463 » Time in State Machines |
181
click to vote
ICRA
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract— We propose a new approximate algorithm, LAJIV (Lookahead J-MDP Information Value), to solve Oracular Partially Observable Markov Decision Problems (OPOMDPs), a special ...
202
click to vote
INFOCOM
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract. Denial-of-Service (DoS) attacks remain a challenging problem in the Internet. In a DoS attack the attacker is attempting to make a resource unavailable to its intended le...
229
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— In current conventional method, the sewer pipe inspection is undertaken using a cable-tethered robot with an on-board video camera system, completely, tele-operated by human op...
198
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— Multicast is an efficient means of transmitting the same content to multiple receivers while minimizing network resource usage. Applications that can benefit from multicast s...
228
click to vote
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...