ERSHOV 2006 - PDF Preprint Papers

ERSHOV 2006 International Sympoisum on Theoretical Programming

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ERSHOV-2006 Paper

click to vote

ERSHOV
2006
Springer

209views Theoretical Computer Science» more ERSHOV 2006»

Well-Structured Model Checking of Multiagent Systems

13 years 6 months ago

Download db.iis.nsk.su

Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...

Nikolay V. Shilov, Natalya Olegovna Garanina

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	209	Well-Structured Model Checking of Multiagent Systems	claim
2	196	An Agent-Based Architecture for Dialogue Systems	claim
3	156	Linear Complementarity and P-Matrices for Stochastic Games	claim
4	139	Chase of Recursive Queries	claim
5	126	Streaming Networks for Coordinating Data-Parallel Programs	claim
6	113	A Versioning and Evolution Framework for RDF Knowledge Bases	claim
7	110	A Knowledge Portal for Cultural Information Resources: Towards an Architecture	claim
8	110	Formal Methods in Industrial Software Standards Enforcement	claim
9	109	Solution Strategies for Multi-domain Constraint Logic Programs	claim
10	109	Information-Flow Attacks Based on Limited Observations	claim
11	107	A Formal Model of Data Privacy	claim
12	106	An ASM Semantics of Token Flow in UML 2 Activity Diagrams	claim
13	105	Improving Semistatic Compression Via Pair-Based Coding	claim
14	102	On the Importance of Parameter Tuning in Text Categorization	claim
15	101	On the Usage of Concrete Syntax in Model Transformation Rules	claim
16	96	Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction	claim
17	85	Security for Multithreaded Programs Under Cooperative Scheduling	claim
18	82	A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules	claim
19	77	RapidOWL - An Agile Knowledge Engineering Methodology	claim
20	75	Verifying Generalized Soundness of Workflow Nets	claim
21	70	TTCN-3 for Distributed Testing Embedded Software	claim
22	69	Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method	claim
23	68	Visual Rules Modeling	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers