5066 search results - page 738 / 1014 » Spectra of structures and relations |
168
click to vote
CHARME
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
160
click to vote
CISC
2005
Springer
16 years 6 days ago
2005
Springer
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...
138
click to vote
CONCUR
2005
Springer
16 years 6 days ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
208
click to vote
CPM
2005
Springer
16 years 6 days ago
2005
Springer
Permutations on strings representing gene clusters on genomes have been studied earlier in [18, 14, 3, 12, 17] and the idea of a maximal permutation pattern was introduced in [12]....
177
click to vote
ECSQARU
2005
Springer
16 years 6 days ago
2005
Springer
In the presence of a river flood, operators in charge of control must take decisions based on imperfect and incomplete sources of information (e.g., data provided by a limited numb...