3555 search results - page 169 / 711 » Security-Critical System Development with Extended Use Cases |
126
click to vote
AOSE
2006
Springer
15 years 7 months ago
2006
Springer
Recently, multi-agent systems have proved to be a suitable approach to the development of real-life information systems. In particular, they are used in the domain of safety critic...
120
Voted
EDOC
2009
IEEE
15 years 10 months ago
2009
IEEE
The impact IT systems have on organizations is widely debated, both in academia and industry. This paper describes a quantitative framework for analyzing organizational impact fro...
90
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We use a generalization of the Lindeberg principle developed by Sourav Chatterjee to prove universality properties for various problems in communications, statistical learning and...
163
click to vote
AOSE
2001
Springer
15 years 8 months ago
2001
Springer
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts ...
116
click to vote
ICTAC
2004
Springer
15 years 9 months ago
2004
Springer
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...