2092 search results - page 268 / 419 » A domain specific modeling language for multiagent systems |
179
Voted
CSFW
2005
IEEE
16 years 20 days ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
191
click to vote
COMPSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
To reduce cost and time to market of automotive software systems and simultaneously increase the products' quality, the component paradigm has achieved broad acceptance withi...
217
Voted
SICHERHEIT
2010
15 years 4 months ago
2010
: This paper presents a fuzzy set based decision support model for taking uncertainty into account when making security investment decisions for distributed systems. The proposed m...
185
Voted
ATAL
2011
Springer
14 years 7 months ago
2011
Springer
Recent applications of game theory in security domains use algorithms to solve a Stackelberg model, in which one player (the leader) first commits to a mixed strategy and then th...
191
click to vote
TSE
2008
15 years 7 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...