10159 search results - page 486 / 2032 » System Design Validation Using Formal Models |
123
Voted
BEHAVIOURIT
2005
15 years 4 months ago
2005
The research presented in this paper aims to inform interface design for mobile guides by understanding and modelling the built environments in which the guide will be used. This ...
173
click to vote
DBSEC
1996
15 years 6 months ago
1996
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
137
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we develop a novel probabilistic model of computational trust that explicitly deals with correlated multi-dimensional contracts. Our starting point is to consider an...
141
Voted
ASPDAC
1995
ACM
15 years 8 months ago
1995
ACM
One of the interesting problems in hardware-software co-design is that of debugging embedded software in conjunction with hardware. Currently, most software designers wait until a...
147
click to vote
FSEN
2009
Springer
15 years 9 months ago
2009
Springer
Although presented with a variety of ‘flavours’, the notion of an interactor, as an abstract characterisation of an interactive component, is well-known in the area of formal ...