6201 search results - page 1030 / 1241 » Implementation of Axiomatic Language |
177
click to vote
FASE
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
146
click to vote
FATES
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested s...
160
click to vote
GPCE
2005
Springer
16 years 3 days ago
2005
Springer
We describe the application of generative programming to a problem in interactive information retrieval. The particular interactive information retrieval problem we study is the su...
165
click to vote
HVC
2005
Springer
16 years 3 days ago
2005
Springer
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...
165
click to vote
ICALP
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...