3256 search results - page 133 / 652 » Applications of Formal Methods to System Design and Verifica... |
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
The idea of design domain specific Mother Model of IP block family as a base of modeling of system integration is presented here. A common reconfigurable Mother Model for ten diff...
121
Voted
WCRE
1999
IEEE
15 years 8 months ago
1999
IEEE
As a program evolves, it becomes increasingly difficult to understand and reason about changes in the source code. Eventually, if enough changes are made, reverse engineering and ...
146
click to vote
ESIAT
2009
IEEE
15 years 2 months ago
2009
IEEE
Remote method invocation is a distributed object model for the Java programming language that making distributed objects easy to implement and tousle. Remote method invocation appl...
156
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
172
Voted
DAC
2010
ACM
15 years 8 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...