1817 search results - page 189 / 364 » Extensive Games as Process Models |
122
click to vote
SPIN
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
114
Voted
IWCMC
2006
ACM
15 years 9 months ago
2006
ACM
— In this paper we focus on characterizing the average end-to-end delay and maximum achievable per-node throughput in random access multihop wireless ad hoc networks with station...
148
Voted
WOWMOM
2006
ACM
15 years 9 months ago
2006
ACM
Motivated by recent surfacing viruses that can spread over the air interfaces, in this paper, we investigate the potential disastrous threat of node compromise spreading in wirele...
114
Voted
SOFSEM
2005
Springer
15 years 9 months ago
2005
Springer
Recently, a range of applications of views increases. Views are not anymore tightly related to classical databases – there are proposals to use them as means of data transformati...
183
click to vote
SSDBM
2002
IEEE
15 years 8 months ago
2002
IEEE
The efficient management of interval data represents a core requirement for many temporal and spatial database applications. With the Relational Interval Tree (RI-tree1 ), an effi...