4270 search results - page 542 / 854 » A Permutation Approach to Validation |
173
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— This paper presents a new approach to the intralocalization among a team of robots working in constrained 3D space of urban environments. As the base formation, a team ...
145
click to vote
ICFEM
2007
Springer
16 years 26 days ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
159
click to vote
IWCMC
2006
ACM
16 years 20 days ago
2006
ACM
The DNS Security Extensions (DNSSEC) were developed to add origin authentication and integrity. DNSSEC defined a public key infrastructure over DNS tree hierarchy for the public ...
197
click to vote
CBSE
2004
Springer
16 years 3 days ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
183
click to vote
MEMOCODE
2003
IEEE
15 years 12 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...