199 search results - page 16 / 40 » A Fully Abstract Model for Graph-Interpreted Temporal Logic |
139
click to vote
DEXAW
2006
IEEE
15 years 10 months ago
2006
IEEE
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
138
click to vote
WILF
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. When the time span of an event is imprecise, it can be represented by a fuzzy set, called a fuzzy time interval. In this paper we propose a representation for 13 relation...
172
click to vote
PODC
1990
ACM
15 years 8 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
143
click to vote
ECBS
2006
IEEE
15 years 7 months ago
2006
IEEE
The paper depicts experiments and results with preditraction based verification applied to infinite state Predicate abstraction is a method for automatic tion of abstract state sp...
111
click to vote
FMSD
2002
15 years 3 months ago
2002
Abstract. We de ne a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pat...