Sciweavers

7121 search results - page 1051 / 1425
» Functions as Session-Typed Processes
Sort
View
ICRA
2007
IEEE
175views Robotics» more  ICRA 2007»
16 years 1 months ago
A Decision-Making Framework for Control Strategies in Probabilistic Search
Abstract— This paper presents the search problem formulated as a decision problem, where the searcher decides whether the target is present in the search region, and if so, where...
Timothy H. Chung, Joel W. Burdick
ICSEA
2007
IEEE
16 years 1 months ago
A Novel Framework for Test Domain Reduction using Extended Finite State Machine
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
Nutchakorn Ngamsaowaros, Peraphon Sophatsathit
INFOCOM
2007
IEEE
16 years 1 months ago
Dynamic Cross-Layer Association in 802.11-Based Mesh Networks
—In IEEE 802.11-based wireless mesh networks a user is associated with an access point (AP) in order to communicate and be part of the overall network. The association mechanism ...
George Athanasiou, Thanasis Korakis, Özgü...
INFOCOM
2007
IEEE
16 years 1 months ago
Stream: Low Overhead Wireless Reprogramming for Sensor Networks
— Wireless reprogramming of a sensor network is useful for uploading new code or for changing the functionality of existing code. Through the process, a node should remain recept...
Rajesh Krishna Panta, Issa Khalil, Saurabh Bagchi
IPPS
2007
IEEE
16 years 1 months ago
The Adaptive Code Kitchen: Flexible Tools for Dynamic Application Composition
Driven by the increasing componentization of scientific codes, the deployment of high-end system infrastructures such as the Grid, and the desire to support high level problem so...
Pilsung Kang 0002, Mike Heffner, Joy Mukherjee, Na...
« Prev « First page 1051 / 1425 Last » Next »