Sciweavers

4390 search results - page 381 / 878
» Part Objects and their Location
Sort
View
ACISP
2005
Springer
16 years 15 days ago
Analysis of the HIP Base Exchange Protocol
Abstract The Host Identity Protocol (HIP) is an Internet security and multiaddressing mechanism specified by the IETF. HIP introduces a new layer between the transport and network ...
Tuomas Aura, Aarthi Nagarajan, Andrei Gurtov
CEEMAS
2005
Springer
16 years 15 days ago
Combining Rule-Based and Plug-in Components in Agents for Flexible Dynamic Negotiations
For software agents to become part of e-commerce they have to be flexible—to engage in negotiations of forms which are not known in advance, and mobile—to migrate to remote lo...
Costin Badica, Maria Ganzha, Marcin Paprzycki, Ama...
DEXA
2005
Springer
109views Database» more  DEXA 2005»
16 years 15 days ago
An XML Approach to Semantically Extract Data from HTML Tables
Abstract. Data intensive information is often published on the internet in the format of HTML tables. Extracting some of the information that is of users’ interest from the inter...
Jixue Liu, Zhuoyun Ao, Ho-Hyun Park, Yongfeng Chen
FASE
2005
Springer
16 years 15 days ago
A Framework for Counterexample Generation and Exploration
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
Marsha Chechik, Arie Gurfinkel
ICANN
2005
Springer
16 years 14 days ago
Modelling Path Integrator Recalibration Using Hippocampal Place Cells
Abstract. The firing activities of place cells in the rat hippocampus exhibit strong correlations to the animal’s location. External (e.g. visual) as well as internal (proprioce...
Thomas Strösslin, Ricardo Chavarriaga, Denis ...