2801 search results - page 320 / 561 » On the Adequateness of the Connection Method |
187
click to vote
PPSWR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Time is omnipresent on the (Semantic) Web. However, formalism like XML, XML Schema, RDF, OWL and (Semantic) Web query languages have, if any, only very limited notions of...
133
click to vote
ISQED
2003
IEEE
15 years 12 months ago
2003
IEEE
Scan chain insertion can have large impact on routability, wirelength and timing. We propose a routing-driven and timing-aware methodology for scan insertion with minimum wireleng...
167
click to vote
LCN
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we introduce statistical methods to estimate the stability of paths in a mobile wireless ad hoc environment. Identifying stable paths helps to reduce control traf...
155
click to vote
ACNS
2003
Springer
15 years 12 months ago
2003
Springer
This paper proposes a browser spoofing attack which can break the weakest link from the server to user, i.e., man-computerinterface, and hence defeat the whole security system of ...
168
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...