Sciweavers

12193 search results - page 115 / 2439
» It's not all about
Sort
View
ASIAN
2007
Springer
76views Algorithms» more  ASIAN 2007»
15 years 10 months ago
Secure Verification of Location Claims with Simultaneous Distance Modification
We investigate the problem of verifying location claims of mobile devices, and propose a new property called simultaneous distance modification (SDM). In localization protocols sat...
Vitaly Shmatikov, Ming-Hsiu Wang
ATAL
2008
Springer
15 years 8 months ago
Coordination of AGVs in an industrial environment
This demonstration aims to show the decentralized coordination of the navigation system of highly autonomous Automated Guided Vehicles (AGVs) integrated in a real industrial envir...
David Herrero Pérez, Humberto Martín...
BMCBI
2006
122views more  BMCBI 2006»
15 years 6 months ago
CoSMoS: Conserved Sequence Motif Search in the proteome
Background: With the ever-increasing number of gene sequences in the public databases, generating and analyzing multiple sequence alignments becomes increasingly time consuming. N...
Xiao I. Liu, Neeraj Korde, Ursula Jakob, Lars I. L...
KR
1998
Springer
15 years 10 months ago
Combining Narratives
A theory is elaboration tolerant to the extent that new information can be incorporated with only simple changes. The simplest change is conjoining new information, and only conju...
John McCarthy, Tom Costello
ASWEC
2008
IEEE
15 years 8 months ago
Embedding Architectural Practices into Extreme Programming
Today, agile methods become a popular approach to develop software systems. They try to satisfy customer, respond to changes, release in less time and achieve suitable profits for...
Amir Azim Sharifloo, Amir S. Saffarian, Fereidoon ...