Sciweavers

16430 search results - page 2570 / 3286
» On Computable Tree Functions
Sort
View
ACIVS
2007
Springer
16 years 1 months ago
A Framework for Scalable Vision-Only Navigation
This paper presents a monocular vision framework enabling feature-oriented appearance-based navigation in large outdoor environments containing other moving objects. The framework ...
Sinisa Segvic, Anthony Remazeilles, Albert Diosi, ...
AIMS
2007
Springer
16 years 1 months ago
A Terminology for Control Models at Optical Exchanges
Optical or lambda exchanges have emerged to interconnect networks, providing dynamic switching capabilities on OSI layer 1 and layer 2. So far, the only inter-domain dynamics have ...
Freek Dijkstra, Bas van Oudenaarde, Bert Andree, L...
AINTEC
2007
Springer
16 years 1 months ago
Gap Analysis in IP Multicast Dissemination
Abstract. IP multicast is advantageous for high quality streaming applications and future needs in the Internet. However, it is generally recognized that IP multicast requires sign...
Hitoshi Asaeda, Bill Manning
CAV
2007
Springer
121views Hardware» more  CAV 2007»
16 years 1 months ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
CCS
2007
ACM
16 years 1 months ago
An algorithm for the appraisal of assurance indicators for complex business processes
In order to provide certified security services we must provide indicators that can measure the level of assurance that a complex business process can offer. Unfortunately the fo...
Fabio Massacci, Artsiom Yautsiukhin
« Prev « First page 2570 / 3286 Last » Next »