Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Matteo Slanina"'
Publikováno v:
Formal Aspects of Computing. 20:507-560
Alternating systems are models of computer programs whose behavior is governed by the actions of multiple agents with, potentially, different goals. Examples include control systems, resource schedulers, security protocols, auctions and election mech
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::71ccf7c61b565903e394627c1607d90c
https://doi.org/10.1007/s00165-008-0075-6
https://doi.org/10.1007/s00165-008-0075-6
Publikováno v:
Journal of Automated Reasoning. 28:397-415
We describe and analyze techniques, other than the standard relational/functional methods, for translating validity problems of modal logics into first-order languages. For propositional modal logics we summarize the s-as-Pow method, a complete and a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::af6b76491dacd981490ce425b49c34f5
https://doi.org/10.1023/a:1015849504706
https://doi.org/10.1023/a:1015849504706
Publikováno v:
Pillars of Computer Science ISBN: 9783540781264
Pillars of Computer Science
Pillars of Computer Science
Event-pattern reactive programs are small programs that process an input stream of events to detect and act upon given temporal patterns. These programs are used in distributed systems to notify components when they must react. We present the reactio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::60605ae41441ad4fa9f3e6aac2fc7ddd
https://doi.org/10.1007/978-3-540-78127-1_33
https://doi.org/10.1007/978-3-540-78127-1_33
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540488156
ICTAC
ICTAC
Alternating temporal logic (atl*) was introduced to prove properties of multi-agent systems in which the agents have different objectives and may collaborate to achieve them. Examples include (distributed) controlled systems, security protocols, and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7b497b5d2ddbd85c23130e51b9f8c2a4
https://doi.org/10.1007/11921240_17
https://doi.org/10.1007/11921240_17
Publikováno v:
Formal Techniques for Networked and Distributed Systems-FORTE 2005 ISBN: 9783540291893
FORTE
FORTE
Event-pattern reactive programs serve reactive components by pre-processing the input event stream and generating notifications according to temporal patterns. The declarative language PAR allows the expression of complex event-pattern reactions. Des
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::243056eb6cb691097d729fc7f0fc0c48
https://doi.org/10.1007/11562436_39
https://doi.org/10.1007/11562436_39
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540679011
MFCS
MFCS
Two of the most active research areas in automated deduction in modal logic are the use of translation methods to reduce its derivability problem to that of classical logic and the extension of existing automated reasoning techniques, developed initi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c536aefdf89a71ed0a6fea1b7646736c
https://doi.org/10.1007/3-540-44612-5_51
https://doi.org/10.1007/3-540-44612-5_51
Publikováno v:
Scopus-Elsevier
Algebra and Coalgebra in Computer Science ISBN: 9783540286202
CALCO
Algebra and Coalgebra in Computer Science ISBN: 9783540286202
CALCO
Event-pattern reactive programs are front-end programs for distributed reactive components that preprocess an incoming stream of event stimuli. Their purpose is to recognize temporal patterns of events that are relevant to the serviced program and ig
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c09a354ff3831b7ba177456b3c74a4a6
http://www.scopus.com/inward/record.url?eid=2-s2.0-26944435840&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-26944435840&partnerID=MN8TOARS