2496 search results - page 352 / 500 » Error-detecting properties of languages |
129
Voted
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— Initial-state opacity emerges as a key property in numerous security applications of discrete event systems including key-stream generators for cryptographic protocols. Speciï¬...
151
click to vote
CIMCA
2008
IEEE
15 years 11 months ago
2008
IEEE
The process of evaluating, classifying, and assigning bugs to programmers is a difficult and time consuming task which greatly depends on the quality of the bug report itself. It ...
144
click to vote
AGILE
2008
Springer
15 years 11 months ago
2008
Springer
Methods to determine the semantic relatedness (SR) value between two lexically expressed entities abound in the field of natural language processing (NLP). The goal of such efforts...
145
click to vote
MEMOCODE
2007
IEEE
15 years 10 months ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
119
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
E-FRP is declarative language for programming resourcebounded, event-driven systems. The original high-level semantics of E-FRP requires that each event handler execute atomically...