601 search results - page 77 / 121 » Model Checking CTL Properties of Pushdown Systems |
179
Voted
WRLA
2010
14 years 12 months ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
158
Voted
CSFW
2000
IEEE
15 years 6 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
129
click to vote
DALT
2004
Springer
15 years 5 months ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
101
click to vote
FTDCS
1997
IEEE
15 years 5 months ago
1997
IEEE
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
117
click to vote
SIGMOD
1993
ACM
15 years 5 months ago
1993
ACM
The traditional focus of relational query optimization schemes has been on the choice of join methods and join orders. Restrictions have typically been handled in query optimizers ...