10802 search results - page 2071 / 2161 » Generative and developmental systems |
165
click to vote
ATVA
2007
Springer
16 years 15 days ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
148
click to vote
BIOWIRE
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. In this chapter we survey the most recent proposals for modelling user mobility in mobile pervasive networks, and specifically in opportunistic networks. We identify two...
185
click to vote
CCS
2007
ACM
16 years 14 days ago
2007
ACM
Protocol reverse engineering, the process of extracting the application-level protocol used by an implementation, without access to the protocol specification, is important for m...
157
click to vote
CIVR
2007
Springer
16 years 14 days ago
2007
Springer
We present a novel matching and similarity evaluation method for planar geometric shapes represented by sets of polygonal curves. Given two shapes, the matching algorithm randomly...
156
click to vote
EMSOFT
2007
Springer
16 years 14 days ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...