2002 search results - page 132 / 401 » An Approach for Assessment of Reliability of the System Usin... |
ECOI
2008
13 years 9 months ago
2008
Successful transfer and uptake of qualitative reasoning technology for modelling and simulation in a variety of domains has been hampered by the lack of a structured methodology t...
ICIP
2007
IEEE
14 years 3 months ago
2007
IEEE
Recent development in network visual communications has emphasized on the need of objective, reliable and easy-to-use video quality assessment (VQA) systems. This paper introduces...
FAC
2007
13 years 9 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
WADT
1998
Springer
14 years 21 days ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
FLAIRS
2007
13 years 11 months ago
2007
There is a growing interest in producing story based game experiences that do not follow fixed scripts predefined by the author, but change the experience based on actions perfo...