264 search results - page 34 / 53 » Stochasticity of probabilistic systems: analysis methodologi... |
IEEEARES
2007
IEEE
15 years 6 months ago
2007
IEEE
The importance of critical systems has been widely recognized and several efforts are devoted to integrate dependability requirements in their development process. Such efforts re...
ATAL
2010
Springer
15 years 24 days ago
2010
Springer
Experimental analysis of networks of cooperative learning agents (to verify certain properties such as the system's stability) has been commonly used due to the complexity of...
118
click to vote
FMICS
2009
Springer
15 years 6 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
WSC
2000
15 years 1 months ago
2000
The proposed implementation is a monitor system able to train operators for on-line real time manufacturing control in order to analyze the performance of a production process. Th...
RTAS
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...