2496 search results - page 228 / 500 » Error-detecting properties of languages |
179
click to vote
ECAL
2007
Springer
16 years 26 days ago
2007
Springer
The Bare Bones language is a programming language with a minimal set of operations that exhibits universal computation. We present a conceptual framework, Chemical Bare Bones, to c...
159
click to vote
TAMC
2007
Springer
16 years 24 days ago
2007
Springer
A word w is called synchronizing (recurrent, reset, directable) word of deterministic finite automaton (DFA) if w brings all states of the automaton to an unique state. ˇCerny co...
159
click to vote
TARK
2007
Springer
16 years 24 days ago
2007
Springer
We introduce ATLES – a variant of ATL with explicit names for strategies in the object language. ATLES makes it possible to refer to the same strategy in different occurrences o...
157
click to vote
CSFW
2006
IEEE
16 years 22 days ago
2006
IEEE
A common theoretical assumption in the study of information flow security in Java-like languages is that pointers are opaque – i.e., that the only properties that can be observ...
191
click to vote
FDL
2006
IEEE
16 years 22 days ago
2006
IEEE
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...