2293 search results - page 19 / 459 » Temporal Logic in Information Systems |
134
click to vote
DEBS
2008
ACM
15 years 1 months ago
2008
ACM
Complex Event Processing is an important technology for information systems with a broad application space ranging from supply chain management, systems monitoring, and stock mark...
101
click to vote
IMCSIT
2010
14 years 9 months ago
2010
We extend our previous works of deriving linguistic summaries of time series using a fuzzy logic approach to linguistic summarization. We proceed towards a multicriteria analysis o...
ICMCS
1994
IEEE
15 years 3 months ago
1994
IEEE
1 As multimedia system integrate a variety of temporally interrelated media items, synchronization is an important issue in those systems. One part of synchronization is the repres...
124
click to vote
DALT
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
AAI
2010
14 years 6 months ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...