Sciweavers

1522 search results - page 43 / 305
» Control-Driven Tasks: Modeling and Analysis
Sort
View
ICMAS
1998
15 years 4 months ago
A Meta-Model for the Analysis and Design of Organizations in Multi-Agent Systems
This paper presents a generic meta-model of multi-agent systems based on organizational concepts such as groups, roles and structures. This model, called AALAADIN, defines a very ...
Jacques Ferber, Olivier Gutknecht
165
Voted
STTT
2010
115views more  STTT 2010»
15 years 1 months ago
Scalable shared memory LTL model checking
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various ta...
Jiri Barnat, Lubos Brim, Petr Rockai
WSC
2004
15 years 4 months ago
Portfolio Credit Risk Analysis Involving CDO Tranches
Credit risk analysis for portfolios containing CDO tranches is a challenging task for risk managers. We propose here a basis function approach for CDO tranche valuation and portfo...
Menghui Cao, William J. Morokoff
135
Voted
WS
2010
ACM
15 years 1 months ago
Semantic web enabled software analysis
One of the most important decisions researchers face when analyzing software systems is the choice of a proper data analysis/exchange format. In this paper, we present EvoOnt, a s...
Jonas Tappolet, Christoph Kiefer, Abraham Bernstei...
212
Voted
SIGSOFT
2011
ACM
14 years 10 months ago
Modeling a distributed intrusion detection system using collaborative building blocks
Developing complex distributed systems is a non-trivial task. It is even more difficult when the systems need to dynamically reconfigure the distributed functionalities or tasks...
Linda Ariani Gunawan, Michael Vogel, Frank Alexand...