Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
FUIN
2008
108views more  FUIN 2008»
10 years 1 months ago
Learning Ground CP-Logic Theories by Leveraging Bayesian Network Learning Techniques
Causal relations are present in many application domains. Causal Probabilistic Logic (CP-logic) is a probabilistic modeling language that is especially designed to express such rel...
Wannes Meert, Jan Struyf, Hendrik Blockeel
FUIN
2008
107views more  FUIN 2008»
10 years 1 months ago
Nondeterminism in Constructive Z
The abstraction inherent in most specifications and the need to specify nondeterministic programs are two well-known sources of nondeterminism in formal specifications. In this pap...
Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi
FUIN
2008
102views more  FUIN 2008»
10 years 2 months ago
Some Aspects of Parsing Expression Grammar
Parsing Expression Grammar (PEG) is a new way to specify syntax, by means of a top-down process with limited backtracking. It can be directly transcribed into a recursive-descent ...
Roman R. Redziejowski
FUIN
2008
89views more  FUIN 2008»
10 years 2 months ago
Editing Configurations of P Systems
Erzsébet Csuhaj-Varjú, Antonio di No...
FUIN
2008
92views more  FUIN 2008»
10 years 2 months ago
Translation of Timed Promela to Timed Automata with Discrete Data
The aim of the work is twofold. In order to face the problem of modeling time constraints in Promela, a timed extension of the language is presented. Next, timed Promela is transla...
Wojciech Nabialek, Agata Janowska, Pawel Janowski
FUIN
2008
56views more  FUIN 2008»
10 years 2 months ago
Specification and Verification of Invariants by Exploiting Layers in OO Designs
Abstract. The layering that is present in many OO designs is not accounted for in current interpretations of invariants. We propose to make layers explicit in specifications and in...
Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper,...
FUIN
2008
103views more  FUIN 2008»
10 years 2 months ago
LDYIS: a Framework for Model Checking Security Protocols
We present a formalism for the automatic verification of security protocols based on multi-agent systems semantics. We give the syntax and semantics of a temporal-epistemic securit...
Alessio Lomuscio, Wojciech Penczek
FUIN
2008
54views more  FUIN 2008»
10 years 2 months ago
Optimization in Discovery of Compound Granules
Andrzej Jankowski, James F. Peters, Andrzej Skowro...
books