3172 search results - page 22 / 635 » Combining Specification Techniques for Processes, Data and T... |
174
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inf...
163
click to vote
SIGCSE
2002
ACM
15 years 5 months ago
2002
ACM
We present our experience using a large, real-world application as a course project for the second half of the semester of a CS2 course. Our primary goal for the project was to cr...
157
click to vote
MIE
2008
15 years 7 months ago
2008
In a competitive health-care market, hospitals have to focus on ways to streamline their processes in order to deliver high quality care while at the same time reducing costs. To a...
182
click to vote
FPL
2006
Springer
15 years 9 months ago
2006
Springer
A secure content distribution system is prototyped based on run-time partial reconfigurability of an FPGA. The system provides a robust content protection scheme for online conten...
176
click to vote
DASC
2006
IEEE
15 years 9 months ago
2006
IEEE
Run-time monitoring is a powerful approach for dynamically detecting faults or malicious activity of software systems. However, there are often two obstacles to the implementation...