4340 search results - page 405 / 868 » Formal Methods and Cryptography |
171
click to vote
FORMATS
2005
Springer
16 years 10 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...
190
click to vote
GBRPR
2005
Springer
16 years 10 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....
190
click to vote
KI
2004
Springer
16 years 5 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...
183
click to vote
MEMOCODE
2003
IEEE
16 years 2 days ago
2003
IEEE
In this paper, we present a technique for determining tight bounds on the execution time of assembler programs. Thus, our method is independent of the design flow, but takes into...
178
click to vote
APSEC
1998
IEEE
15 years 11 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...