199 search results - page 32 / 40 » A Fully Abstract Model for Graph-Interpreted Temporal Logic |
114
Voted
CONCUR
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We study the decidability and complexity of verification problems for timed automata over time intervals of fixed, bounded length. One of our main results is that time-bo...
104
Voted
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. A distributed system is fault-tolerant if it continues to perform correctly even when a subset of the processes becomes faulty. Faulttolerance is highly desirable but oft...
118
click to vote
P2PKM
2004
15 years 3 months ago
2004
Abstract. We are interested in the development of a database management layer which is completely portable and, therefore, "pluggable" on top of multiple host platforms. ...
AEI
2010
15 years 1 months ago
2010
nizing multiple forms of information and knowledge processing on different levels of abstraction in a structured and principled manner. We propose knowledge processing middleware a...
CSFW
2005
IEEE
15 years 7 months ago
2005
IEEE
Modelling security policies requires means to specify permissions and prohibitions. However, this is generally not sufficient to express security properties such as availability ...