4341 search results - page 749 / 869 » Quantitative Model checking |
182
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Animals living in groups make movement decisions that depend, among other factors, on social interactions with other group members. Our present understanding of social rules in an...
217
click to vote
INFOCOM
2011
IEEE
14 years 9 months ago
2011
IEEE
—The distributed nature of the CSMA/CA based wireless protocols, e.g., the IEEE 802.11 distributed coordinated function (DCF), allows malicious nodes to deliberately manipulate t...
262
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
We introduce Pulse, a framework for processing continuous queries over models of continuous-time data, which can compactly and accurately represent many real-world activities and p...
286
click to vote
ICDE
2002
IEEE
16 years 7 months ago
2002
IEEE
Matching elements of two data schemas or two data instances plays a key role in data warehousing, e-business, or even biochemical applications. In this paper we present a matching...
271
click to vote
GIS
2005
ACM
16 years 7 months ago
2005
ACM
Topological predicates, as derived from the 9-intersection model, have been widely recognized in GIS, spatial database systems, and many other geo-related disciplines. They are ba...