Sciweavers

2527 search results - page 261 / 506
» A UML-Based Approach to System Testing
Sort
View
EDBT
2010
ACM
136views Database» more  EDBT 2010»
15 years 9 months ago
Minimizing database repros using language grammars
Database engines and database-centric applications have become complex software systems. Ensuring bug-free database services is therefore a very difficult task. Whenever possible...
Nicolas Bruno
IJET
2008
108views more  IJET 2008»
15 years 4 months ago
Moving towards a Fully Automatic Knowledge Assessment Tool
Information about a student's level or state of knowledge is a key aspect for efficient, personalized learning activities. E-learning systems gain such information in two ways...
Christian Guetl
ASPDAC
2004
ACM
94views Hardware» more  ASPDAC 2004»
15 years 8 months ago
Improving simulation-based verification by means of formal methods
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
Görschwin Fey, Rolf Drechsler
ICASSP
2011
IEEE
14 years 8 months ago
Detection of targets embedded in multipath clutter with Time Reversal
—Detection of targets in complex environments is of importance in both radar and sonar applications. Recent work has shown that the use of Time Reversal (TR) techniques improves ...
Nicholas O'Donoughue, Joel Harley, José M. ...
IUI
1999
ACM
15 years 8 months ago
Integrating Organizational Memory and Performance Support
We describe an approach to building integrated performance support systems by using model-based task tracking to link performance support tools to video-based organizational memor...
Christopher R. Johnson, Lawrence Birnbaum, Ray Bar...