4211 search results - page 100 / 843 » A formal approach to MASQ |
113
click to vote
EMSOFT
2004
Springer
15 years 6 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
87
Voted
SLOGICA
2010
14 years 11 months ago
2010
Abstract. Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling poin...
97
Voted
MEMOCODE
2010
IEEE
14 years 10 months ago
2010
IEEE
We present a modular approach for verification of synchronization behavior in concurrent programs that use reentrant locks. Our approach decouples the verification of the lock impl...
123
Voted
ACSC
2006
IEEE
15 years 6 months ago
2006
IEEE
It is necessary to provide a method to store Web information effectively so it can be utilised as a future knowledge resource. A commonly adopted approach is to classify the retri...
109
click to vote
FAABS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The task addressed here is a dynamic search through a bounded region, while avoiding multiple large obstacles, such as buildings. In the case of limited sensors and commu...