5255 search results - page 559 / 1051 » Formal Methods for Privacy |
213
click to vote
MEMOCODE
2005
IEEE
16 years 20 days ago
2005
IEEE
This paper presents results on processor specification from a specialized high-level finite state machine (FSM) language. The language is an extension and enhancement of earlier...
155
click to vote
MEMOCODE
2005
IEEE
16 years 20 days ago
2005
IEEE
The SystemVerilog standard introduces SystemVerilog Assertions (SVA), a synchronous assertion package based on the temporal-logic semantics of PSL. Traditionally assertions are ch...
182
click to vote
FORMATS
2005
Springer
16 years 18 days ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...
201
click to vote
GBRPR
2005
Springer
16 years 18 days ago
2005
Springer
A method allowing to integrate syntactic and semantic approaches in an automatic segmentation process is described. This integration is possible thanks to the formalism of graphs....
197
click to vote
KI
2004
Springer
16 years 13 days ago
2004
Springer
This paper proposes a new corpus-based approach for deriving syntactic structures and generating parse trees of natural language sentences. The parts of speech (word categories) of...