3028 search results - page 9 / 606 » Integrating Temporal Logics |
SPIN
2010
Springer
13 years 8 months ago
2010
Springer
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...
APSEC
2005
IEEE
14 years 3 months ago
2005
IEEE
— In this paper, we present a temporal logic called F whose interpretation is over Input Output Symbolic Transition Systems (IOSTS). IOSTS extend transition systems to communicat...
AMAI
2000
Springer
13 years 9 months ago
2000
Springer
principled ones
TIME
2008
IEEE
14 years 4 months ago
2008
IEEE
We survey temporal description logics that are based on standard temporal logics such as LTL and CTL. In particular, we concentrate on the computational complexity of the satisfi...
SP
2006
IEEE
14 years 3 months ago
2006
IEEE
Contextual integrity is a conceptual framework for understanding privacy expectations and their implications developed in the literature on law, public policy, and political philo...