1864 search results - page 162 / 373 » Formal topology and domains |
161
click to vote
DATE
2005
IEEE
16 years 3 days ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
180
click to vote
ICECCS
2005
IEEE
16 years 2 days ago
2005
IEEE
Security design at architecture level is critical to achieve high assurance software systems. However, most security design techniques for software architectures were in ad hoc fa...
186
click to vote
ESORICS
2005
Springer
16 years 15 hour ago
2005
Springer
Access control is concerned with granting access to sensitive data based on conditions that relate to the past or present, so-called provisions. Expressing requirements from the do...
229
click to vote
IDA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper introduces Higher-Order Bayesian Networks, a probabilistic reasoning formalism which combines the efficient reasoning mechanisms of Bayesian Networks with the...
136
click to vote
IHM
2004
ACM
15 years 12 months ago
2004
ACM
This paper describes an approach for the participatory design. After describing the trends in the domain, a formalization of the design process is expressed based on « phase »...