1438 search results - page 3 / 288 » An Expressive Extension of TLC |
118
Voted
TCS
2008
14 years 11 months ago
2008
We introduce an extension of the derivatives of rational expressions to expressions denoting formal power series over partially commuting variables. The expressions are purely non...
130
Voted
TIME
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents the automatic extension of TERSEO to other languages, a knowledge-based system for the recognition and normalization of temporal expressions, originally develo...
130
Voted
FORMATS
2008
Springer
15 years 2 months ago
2008
Springer
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...
111
click to vote
CCS
2003
ACM
15 years 6 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
72
Voted
ER
1999
Springer
15 years 5 months ago
1999
Springer