933 search results - page 108 / 187 » Extending Forward Checking |
109
Voted
QSIC
2003
IEEE
15 years 6 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
ASIAN
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. A coinduction-based technique to generate an optimal monitor from a Linear Temporal Logic (LTL) formula is presented in this paper. Such a monitor receives a sequence of ...
76
Voted
ISI
2003
Springer
15 years 6 months ago
2003
Springer
In many intelligence and security tasks it is necessary to monitor data in database in order to detect certain events or changes. Currently, database systems offer triggers to pro...
124
click to vote
IWPC
2002
IEEE
15 years 6 months ago
2002
IEEE
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we pr...
117
click to vote
DEON
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Privacy policies are often defined in terms of permitted messages. Instead, in this paper we derive dynamically the permitted messages from static privacy policies defi...