4460 search results - page 554 / 892 » Formal methods for interactive systems |
170
Voted
CAV
2004
Springer
16 years 2 days ago
2004
Springer
Regular Tree Model Checking Ahmed Bouajjani, Peter Habermehl 1 LIAFA, University Paris 7, Case 7014, 2, place Jussieu, F-75251 Paris Cedex 05, France Adam Rogalewicz, Tom´aˇs Voj...
201
click to vote
ECOOP
2005
Springer
16 years 6 days ago
2005
Springer
Object-oriented scripting languages like JavaScript and Python are popular partly because of their dynamic features. These include the runtime modification of objects and classes ...
199
Voted
FORMATS
2004
Springer
16 years 1 days ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
184
click to vote
CPM
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We apply the Boyer–Moore technique to compressed pattern matching for text string described in terms of collage system, which is a formal framework that captures variou...
167
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We consider the problem of efficient key management and user revocation in cryptographic file systems that allow shared access to files. A performanceefficient solution t...