9507 search results - page 445 / 1902 » Time-based language models |
204
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
258
click to vote
DANCE
2002
IEEE
16 years 13 days ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
211
Voted
FSTTCS
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. Regular Model-Checking (RMC) is a technique for the formal verification of infinite state systems based on the theory of regular languages. In the paper “Beyond Regul...
192
Voted
UM
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. The generation of formal poetry involves both complex creativity usually exercised by a human poet - and strict algorithmic restrictions regarding the metrical structure ...
190
click to vote
ECOOP
2008
Springer
15 years 9 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...