2496 search results - page 486 / 500 » Error-detecting properties of languages |
144
Voted
CASES
2007
ACM
15 years 7 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
126
Voted
CCS
2006
ACM
15 years 7 months ago
2006
ACM
A high-level security policy states an overall requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires a sensi...
129
click to vote
CSL
2006
Springer
15 years 7 months ago
2006
Springer
The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the eme...
131
Voted
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...
128
Voted
ISSAC
1995
Springer
15 years 7 months ago
1995
Springer
Dynamic evaluation is a technique for producing multiple results according to a decision tree which evolves with program execution. Sometimes it is desired to produce results for ...