264 search results - page 22 / 53 » Stochasticity of probabilistic systems: analysis methodologi... |
WOSP
2005
ACM
15 years 5 months ago
2005
ACM
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...
IFIP
2001
Springer
15 years 4 months ago
2001
Springer
There is an ongoing debate about how to improve the quality of empirical research efforts in information systems. One of the persistent issues within the debate concerns the relat...
CAISE
2009
Springer
15 years 6 months ago
2009
Springer
In CAiSE 2006, we had presented a framework to support development of secure information systems. The framework was based on the integration of two security-aware approaches, the S...
HICSS
2005
IEEE
15 years 5 months ago
2005
IEEE
The term social cognition is used in the psychology and organizational literatures to denote many different manifestations of the mental representations and processes that underli...
92
Voted
FORMATS
2003
Springer
15 years 5 months ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...