Sciweavers

1391 search results - page 232 / 279
» Completeness of Neighbourhood Logic
Sort
View
SEMWEB
2007
Springer
16 years 7 days ago
Instance Migration in Heterogeneous Ontology Environments
In this paper we address the problem of migrating instances between heterogeneous overlapping ontologies. The instance migration problem arises when one wants to reclassify a set o...
Luciano Serafini, Andrei Tamilin
ASWEC
2006
IEEE
16 years 5 days ago
Formal Verification of the IEEE 802.11i WLAN Security Protocol
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
Elankayer Sithirasenan, Saad Zafar, Vallipuram Mut...
ICNP
2006
IEEE
16 years 5 days ago
Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ri...
DAC
2006
ACM
16 years 3 days ago
Use of C/C++ models for architecture exploration and verification of DSPs
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...
David Brier, Raj S. Mitra
ASWEC
2005
IEEE
15 years 11 months ago
Software Reuse across Robotic Platforms: Limiting the Effects of Diversity
Robots have diverse capabilities and complex interactions with their environment. Software development for robotic platforms is time consuming due to the complex nature of the tas...
Glenn Smith, Robert Smith, Aster Wardhani