1418 search results - page 45 / 284 » The Dynamic Complexity of Formal Languages |
105
click to vote
ASPDAC
2004
ACM
15 years 5 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
148
click to vote
HASE
2008
IEEE
15 years 2 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
119
click to vote
SOSYM
2010
14 years 8 months ago
2010
Component-based software engineering (CBSE) is viewed as an opportunity to deal with the increasing complexity of modern-day software. Along with CBSE comes the notion of component...
116
click to vote
SSIRI
2010
15 years 10 days ago
2010
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
153
click to vote
FOSSACS
2001
Springer
15 years 6 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...