2763 search results - page 186 / 553 » The Dangerous 'All' in Specifications |
176
click to vote
DSN
2008
IEEE
16 years 28 days ago
2008
IEEE
This paper introduces SymPLFIED, a program-level framework which allows specification of arbitrary error detectors and the verification of their efficacy against hardware errors. ...
158
click to vote
HPCC
2007
Springer
16 years 19 days ago
2007
Springer
A new evaluation method is presented that employs cut sequence set (CSS) to analyze fault trees. A cut sequence is a set of basic events that fail in a specific order that can indu...
135
click to vote
ICWMC
2006
IEEE
16 years 15 days ago
2006
IEEE
All the proposed IP mobility protocols assume that the mobile nodes always have a mobility-aware IP stack. On the other hand, efficient micro-mobility solutions entail specific to...
168
click to vote
SIGIR
2006
ACM
16 years 13 days ago
2006
ACM
Structural hints in XML-retrieval queries can be used to specify both the granularity of the search result (the target element) and where in a document to search (support elements...
181
click to vote
HICSS
2005
IEEE
16 years 2 days ago
2005
IEEE
Wireless sensor networks are becoming an integral part of numerous applications very quickly. Here, we present a new approach for sensor applications that requires coverage for a ...