20511 search results - page 316 / 4103 » On the level |
153
click to vote
ACRI
2004
Springer
16 years 9 days ago
2004
Springer
The SLEUTH urban growth model [1] is a cellular automata model that has been widely applied throughout the geographic literature to examine the historic settlement patterns of citi...
197
click to vote
ADBIS
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. We propose a descriptive high-level language XDTrans devoted to specify transformations over XML data. The language is based on unranked tree automata approach. In contra...
182
click to vote
CARDIS
2004
Springer
16 years 8 days ago
2004
Springer
Smart card applications often handle privacy-sensitive information, and therefore must obey certain security policies. Typically, such policies are described as high-level security...
148
click to vote
CAV
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. We present an unfolding-based approach to LTL-X modelchecking of high-level Petri nets. It is based on the method proposed by Esparza and Heljanko for low-level nets [4, ...