Sciweavers

FUIN
2008
177views more  FUIN 2008»
14 years 6 days ago
A Multi-facet Approach to Dynamic Agent Systems
We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a number of di...
Marek A. Bednarczyk, Wieslaw Pawlowski, Luca Berna...
FUIN
2008
93views more  FUIN 2008»
14 years 6 days ago
An Algebraic Framework for Defining Random Concurrent Behaviours
Abstract. The paper is devoted to characterizing systems with random behaviours. The characterization is based on considering systems in terms of their possible runs, called proces...
Józef Winkowski
FUIN
2008
101views more  FUIN 2008»
14 years 6 days ago
Translation of Intermediate Language to Timed Automata with Discrete Data
The aim of this work is to describe the translation from Intermediate Language, one of the input formalisms of the model checking platform VerICS, to timed automata with discrete d...
Agata Janowska, Pawel Janowski, Dobieslaw Wr&oacut...
FUIN
2008
107views more  FUIN 2008»
14 years 6 days ago
Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets
Reachability analysis is one of the most successful methods used in design and validation of protocols for classical communication, whereas the predicate/transition-net formalism i...
Kimmo Varpaaniemi, Leo Ojala
FUIN
2008
74views more  FUIN 2008»
14 years 6 days ago
Security in a Model for Long-running Transactions
Abstract. Communicating Hierarchical Transaction-based Timed Automata have been introduced to model systems performing long
Damas P. Gruska, Andrea Maggiolo-Schettini, Paolo ...
FUIN
2008
88views more  FUIN 2008»
14 years 6 days ago
Preferential Regular Path Queries
In this paper, we introduce preferential regular path queries. These are regular path queries whose symbols are annotated with preference weights for "scaling" up or down...
Gösta Grahne, Alex Thomo, William W. Wadge
FUIN
2008
93views more  FUIN 2008»
14 years 6 days ago
Logic-based Conflict Detection for Distributed Policies
Policies are used to describe rules that are employed to modify (often distributed) system behaviour at runtime. Typically policies are created by many different people and there a...
Carlo Montangero, Stephan Reiff-Marganiec, Laura S...
FUIN
2008
81views more  FUIN 2008»
14 years 6 days ago
On the Use of Behavioural Equivalences for Web Services' Development
Abstract. Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equival...
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio...
FUIN
2008
89views more  FUIN 2008»
14 years 6 days ago
A Foundational Theory of Contracts for Multi-party Service Composition
Abstract. In the context of Service Oriented Computing, contracts are descriptions of the observable message-passing behavior of services. Contracts have been already successfully ...
Mario Bravetti, Gianluigi Zavattaro
FUIN
2008
99views more  FUIN 2008»
14 years 6 days ago
Effective Prediction of Web User Behaviour with User-Level Models
The paper concerns the problem of predicting behaviour of web users, based on real historical data which constitutes an important issue in web mining. The research reported here wa...
Krzysztof Dembczynski, Wojciech Kotlowski, Marcin ...