2897 search results - page 509 / 580 » Test Case Integration: From Components to Systems |
168
click to vote
CAV
2001
Springer
15 years 10 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
152
click to vote
ICSM
2000
IEEE
15 years 10 months ago
2000
IEEE
Source code investigation is one of the most time consuming activities during software maintenance and evolution, yet currently available tool support suffers from several shortco...
262
click to vote
AICI
2010
15 years 5 months ago
2010
Moving a brain-computer interface from a laboratory demonstration to real-life applications poses severe challenges to the BCI community. Recently, with advances in the biomedical ...
186
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
The integration of renewable energy generation, such as wind power, into the electric grid is difficult because of the source intermittency and the large distance between generatio...
188
click to vote
VLDB
2011
ACM
15 years 1 months ago
2011
ACM
Schema mappings are high-level specifications that describe the relationship between two database schemas. They are an important tool in several areas of database research, notab...