3440 search results - page 490 / 688 » Logics For Context-Free Languages |
164
click to vote
FDL
2005
IEEE
16 years 23 days ago
2005
IEEE
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...
170
click to vote
BIRTHDAY
2005
Springer
16 years 21 days ago
2005
Springer
To get a better understanding of the influence of the media on current political events, researchers in Communication Science have recently reported on several case studies, in w...
204
click to vote
RULEML
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. The language of dl-programs is a latest effort in developing an expressive representation for Web-based ontologies. It allows to build answer set programming (ASP) on top...
149
click to vote
PASTE
2004
ACM
16 years 17 days ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
167
click to vote
CSL
2004
Springer
16 years 16 days ago
2004
Springer
Set constraints are a useful formalism for verifying properties of programs. Usually, they are interpreted over the universe of finite terms. However, some logic languages allow i...