11172 search results - page 316 / 2235 » Testing Physical Systems |
168
click to vote
ISSTA
2006
ACM
16 years 20 days ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
186
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Embedded systems are often used in a safety-critical context, e.g. in airborne or vehicle systems. Typically, timing constraints must be satisfied so that real-time embedded syste...
193
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
In every application domain, achieving interoperability among heterogenous information systems is a crucial challenge and alliances are formed to standardize data-exchange formats...
156
click to vote
SIGIR
2006
ACM
16 years 19 days ago
2006
ACM
Accurate estimation of information retrieval evaluation metrics such as average precision require large sets of relevance judgments. Building sets large enough for evaluation of r...
237
click to vote
ISMS
2004
Springer
16 years 2 days ago
2004
Springer
Advancements in robotics have led to significant improvements in robot-assisted minimally invasive surgery. The use of these robotic systems has improved surgeon dexterity, reduced...