|
1
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
2
|
<record xmlns="http://www.openarchives.org/OAI/2.0/">
|
|
3
|
<header>
|
|
4
|
<identifier>oai:pumaoai.isti.cnr.it:cnr.isti/cnr.isti/2014-B5-011</identifier>
|
|
5
|
<datestamp>2015-05-15</datestamp>
|
|
6
|
<setSpec>openaire</setSpec>
|
|
7
|
</header>
|
|
8
|
<metadata>
|
|
9
|
<oai_dc:dc xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:dc="http://purl.org/dc/elements/1.1/" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
|
|
10
|
<dc:title>On-the-fly fast mean field model checking for collective adaptive systems</dc:title>
|
|
11
|
<dc:creator>Massink, Mieke</dc:creator>
|
|
12
|
<dc:subject>Probabilistic model-checking</dc:subject>
|
|
13
|
<dc:subject>On-the-fly model-checking</dc:subject>
|
|
14
|
<dc:subject>Mean-field approximation</dc:subject>
|
|
15
|
<dc:subject>info:eu-repo/classification/acm/B.8.2 Performance Analysis and Design Aids</dc:subject>
|
|
16
|
<dc:subject>info:eu-repo/classification/acm/D.2.4 Software/Program Verification</dc:subject>
|
|
17
|
<dc:subject>info:eu-repo/classification/acm/F.1.2 Modes of Computation</dc:subject>
|
|
18
|
<dc:subject>info:eu-repo/classification/acm/F.3.1 Specifying and Verifying and Reasoning about Programs</dc:subject>
|
|
19
|
<dc:subject>info:eu-repo/classification/msc/39-XX Difference and functional equations</dc:subject>
|
|
20
|
<dc:subject>info:eu-repo/classification/msc/60Jxx Markov processes</dc:subject>
|
|
21
|
<dc:description>In this abstract work on the application of mean-field theory in the definition and implementation of on-the-fly probabilistic model checking of CAS.</dc:description>
|
|
22
|
<dc:relation>info:eu-repo/grantAgreement/EC/FP7/600708/EU/A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours/QUANTICOL</dc:relation>
|
|
23
|
<dc:date>2014-10-10</dc:date>
|
|
24
|
<dc:type>info:eu-repo/semantics/other</dc:type>
|
|
25
|
<dc:identifier>http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2014-B5-011</dc:identifier>
|
|
26
|
<dc:language>en</dc:language>
|
|
27
|
<dc:source>In: Dagstuhl Reports (ISSN: 2192-5283) V.4 n. 3/12 - Dagstuhl Publishing. 2014.</dc:source>
|
|
28
|
<dc:relation>info:eu-repo/semantics/altIdentifier/url/http://drops.dagstuhl.de/opus/volltexte/2015/5006/</dc:relation>
|
|
29
|
<dc:relation>info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.4230/DagRep.4.12.68</dc:relation>
|
|
30
|
<dc:format>application/pdf</dc:format>
|
|
31
|
<dc:identifier>http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2014-B5-011/2014-B5-011.pdf</dc:identifier>
|
|
32
|
<dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
|
|
33
|
</oai_dc:dc>
|
|
34
|
</metadata>
|
|
35
|
</record>
|