Sciweavers

1485 search results - page 99 / 297
» Whole Program Paths
Sort
View
PLILP
1997
Springer
14 years 1 months ago
Narrowing the Narrowing Space
We introduce a framework for managing as a whole the space of a narrowing computation. The aim of our framework is to find a finite representation of an infinite narrowing space...
Sergio Antoy, Zena M. Ariola
ALGOSENSORS
2006
Springer
14 years 1 months ago
Declarative Resource Naming for Macroprogramming Wireless Networks of Embedded Systems
Programming Wireless Networks of Embedded Systems (WNES) is notoriously difficult and tedious. To simplify WNES programming, we propose Declarative Resource Naming (DRN) to progra...
Chalermek Intanagonwiwat, Rajesh K. Gupta, Amin Va...
IROS
2007
IEEE
204views Robotics» more  IROS 2007»
14 years 3 months ago
Over-the-horizon, autonomous navigation for planetary exploration
— The success of NASA’s Mars Exploration Rovers has demonstrated the important benefits that mobility adds to planetary exploration. Very soon, mission requirements will impos...
Ioannis M. Rekleitis, Jean-Luc Bedwani, Erick Dupu...
AINA
2004
IEEE
14 years 1 months ago
Authenticated Autonomous System Traceback
The design of the IP protocol makes it difficult to reliably identify the originator of an IP packet making the defense against Distributed Denial of Service attacks one of the ha...
Vamsi Paruchuri, Arjan Durresi, Rajgopal Kannan, S...
CAISE
2006
Springer
14 years 1 months ago
An Efficient Approach to Support Querying Secure Outsourced XML Information
Abstract. Data security is well-recognized a vital issue in an information system that is supported in an outsource environment. However, most of conventional XML encryption propos...
Yin Yang, Wilfred Ng, Ho Lam Lau, James Cheng