909 search results - page 25 / 182 » Temporal Logic Case Study |
FORMATS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We study the realizability problem for specifications of reactive systems expressed in real-time linear temporal logics. The logics we consider are subsets of MITL (Metr...
EDBT
2002
ACM
14 years 9 months ago
2002
ACM
One of the major challenges facing scientists dealing with gene expression data is how to integrate, explore and analyze vast quantities of related data, often residing in multiple...
CORR
2002
Springer
13 years 8 months ago
2002
Springer
The purpose of this paper is to address some criticisms recently raised by John Horty in two articles against the validity of two commonly accepted defeasible reasoning patterns, ...
ENTCS
2006
13 years 8 months ago
2006
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
HICSS
2011
IEEE
13 years 15 days ago
2011
IEEE
Vulnerabilities in a system may have widely varying impacts on system security. In practice, security should not be defined as the absence of vulnerabilities. In practice, securit...