Sciweavers

41938 search results - page 68 / 8388
» Complex Systems Modeling
Sort
View
122
Voted
TGC
2005
Springer
15 years 10 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 2 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
139
Voted
IJCAI
2007
15 years 6 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...
ATAL
2008
Springer
15 years 6 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
148
Voted
ESAW
2008
Springer
15 years 6 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