Sciweavers

41938 search results - page 68 / 8388
» Complex Systems Modeling
Sort
View
TGC
2005
Springer
15 years 12 months ago
A Practical Formal Model for Safety Analysis in Capability-Based Systems
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
Fred Spiessens, Peter Van Roy
IWPEC
2010
Springer
15 years 4 months ago
Multivariate Complexity Analysis of Swap Bribery
We consider the computational complexity of a problem modeling bribery in the context of voting systems. In the scenario of Swap Bribery, each voter assigns a certain price for swa...
Britta Dorn, Ildikó Schlotter
IJCAI
2007
15 years 7 months ago
A Framework for Decentralized Qualitative Model-Based Diagnosis
In this paper we propose a framework for decentralized model-based diagnosis of complex systems modeled with qualitative constraints and whose models are distributed among their s...
Luca Console, Claudia Picardi, Daniele Theseider D...
177
Voted
ATAL
2008
Springer
15 years 8 months ago
A domain specific modeling language for multiagent systems
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
Christian Hahn
ESAW
2008
Springer
15 years 8 months ago
Engineering Self-modeling Systems: Application to Biology
Complexity of today's systems prevents designers from knowing everything about them and makes engineering them a difficult task for which classical engineering approaches are ...
Carole Bernon, Davy Capera, Jean-Pierre Mano