1375 search results - page 231 / 275 » SDL-2000: A Language with a Formal Semantics |
WWW
2001
ACM
15 years 10 months ago
2001
ACM
Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, inf...
COORDINATION
2007
Springer
15 years 3 months ago
2007
Springer
We present a generalized committed choice construct for concurrent programs that interact with a shared store. The generalized committed choice (GCC) allows multiple computations ...
FORMATS
2007
Springer
15 years 3 months ago
2007
Springer
We identify a class of timed automata, which we call counter-free input-determined automata, which characterize the class of timed languages definable by several timed temporal l...
SACMAT
2006
ACM
15 years 3 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
QSIC
2005
IEEE
15 years 3 months ago
2005
IEEE
Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable ...