2637 search results - page 328 / 528 » Tool Supported Specification and Simulation of Distributed S... |
204
click to vote
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...
213
click to vote
WER
2004
Springer
16 years 1 days ago
2004
Springer
Software systems of today are characterized by the increasing size, complexity, distribution and heterogeneity. Understanding and supporting the interaction between software requir...
164
click to vote
MEMOCODE
2006
IEEE
16 years 21 days ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
193
click to vote
ASWEC
2001
IEEE
15 years 10 months ago
2001
IEEE
Mainstreaming and industrialising agent technologies requires suitable methodological and technological support for the various engineering activities associated with managing the...
140
click to vote
TROB
2002
15 years 6 months ago
2002
Abstract-- The problem addressed is the distributed reconfiguration of a metamorphic robotic system composed of an arbitrary number of two dimensional hexagonal robots (modules) fr...