1415 search results - page 114 / 283 » Verified systems by composition from verified components |
174
click to vote
JIRS
2007
15 years 6 months ago
2007
A detailed step-by-step approach is presented to optimize, standardize, and automate the process of unmanned vehicle controller design, evaluation, validation and verification, fol...
142
click to vote
EKAW
2006
Springer
15 years 10 months ago
2006
Springer
Guidelines (Extended abstract) Ruud Stegers1 , Annette ten Teije1 , and Frank van Harmelen1 Vrije Universiteit, Amsterdam The main problem encountered when starting verification of...
153
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Web search engines help users find useful information on the World Wide Web (WWW). However, when the same query is submitted by different users, typical search engines return the ...
178
click to vote
ICDE
2008
IEEE
16 years 26 days ago
2008
IEEE
— This paper introduces a novel keyword searching paradigm in Relational Databases (DBs), where the result of a search is a ranked set of Object Summaries (OSs). An OS summarizes...
155
click to vote
FAC
2008
15 years 6 months ago
2008
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...