7139 search results - page 1282 / 1428 » Language Engineering in Practice |
159
Voted
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
129
Voted
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
139
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Fault-based testing is often advocated to overcome limitations of other testing approaches; however it is also recognized as being expensive. On the other hand, evolutionary algor...
125
click to vote
IFIP
2007
Springer
15 years 10 months ago
2007
Springer
Effective methods for metrics definition are of particular importance, as measurement mechanisms are indispensable in virtually any engineering discipline. The paper describes how ...
128
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...