5030 search results - page 281 / 1006 » cases 2007 |
166
click to vote
FSEN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
121
click to vote
GI
2007
Springer
16 years 1 months ago
2007
Springer
: We report on a project that demonstrates how fieldtrips can be structured and delivered in novel ways, and how they can extend the range of curricula that can be addressed – in...
175
click to vote
GI
2007
Springer
16 years 1 months ago
2007
Springer
: In addition to the growing complexity of software systems, test effort takes increasing amounts of time and correspondingly more money. Testing costs may be reduced without compr...
184
click to vote
GTTSE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Domain Specific Languages (DSLs) are small languages designed for use in a specific domain. DSLs typically evolve quite radically throughout their lifetime, but current...
167
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...