708 search results - page 109 / 142 » Computational Law |
123
click to vote
SACMAT
2010
ACM
15 years 4 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
152
click to vote
MVA
2006
14 years 11 months ago
2006
In this paper, we will present a technique for measuring visibility distances under foggy weather conditions using a camera mounted onboard a moving vehicle. Our research has focus...
GCC
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Due to the complexity and uncertainties, the engineering process requires dynamic collaborations among the heterogeneous systems and human interactions. In this paper, we...
DGO
2007
15 years 1 months ago
2007
To keep a network of enterprises sustainable, inter-organizational control measures are needed to detect or prevent opportunistic behaviour of network participants. We present a m...
105
click to vote
MWCN
2004
Springer
15 years 5 months ago
2004
Springer
Abstract In this paper, our objective is to study and understand the mutual effects between the group communication protocols and unicast sessions in mobile ad hoc networks. The mo...