10870 search results - page 1880 / 2174 » Model Checking Programs |
167
Voted
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
This paper presents several advances in the understanding of dynamic data structures in the bit-probe model: – We improve the lower bound record for dynamic language membership p...
178
click to vote
IFIP
2005
Springer
16 years 6 days ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...
172
click to vote
ISAAC
2005
Springer
16 years 6 days ago
2005
Springer
Abstract The 2-Interval Pattern problem is to find the largest constrained pattern in a set of 2-intervals. The constrained pattern is a subset of the given 2-intervals such that ...
134
click to vote
IWINAC
2005
Springer
16 years 5 days ago
2005
Springer
Many cells in the primary visual cortex respond differently when a stimulus is placed outside their classical receptive field (CRF) compared to the stimulus within the CRF alone,...
208
click to vote
SEKE
2005
Springer
16 years 5 days ago
2005
Springer
Most design recovery approaches start from analysing source code. Nonetheless, it is very difficult to get adequate design information only depending on source code. Additional av...