1167 search results - page 168 / 234 » A Really Temporal Logic |
106
Voted
IPL
2002
15 years 1 months ago
2002
We develop a formal semantics of sequence diagrams. The semantics is given in terms of our new temporal logic, named HDTL, which is designed to specify dynamically evolving system...
104
click to vote
SAC
2002
ACM
15 years 1 months ago
2002
ACM
Event-based systems are developed and used as a coordination model to integrate components in loosely coupled systems. Research and product development focused so far on efficienc...
110
click to vote
SACMAT
2009
ACM
15 years 8 months ago
2009
ACM
We develop the foundations for a theory of Group-Centric Secure Information Sharing (g-SIS), characterize a specific family of models in this arena and identify several direction...
129
click to vote
ICTAC
2009
Springer
14 years 11 months ago
2009
Springer
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting,...
108
click to vote
PODS
2007
ACM
16 years 1 months ago
2007
ACM
Event processing systems have wide applications ranging from managing events from RFID readers to monitoring RSS feeds. Consequently, there exists much work on them in the literat...