5525 search results - page 29 / 1105 » Verification of Model Transformations |
SAC
2008
ACM
14 years 9 months ago
2008
ACM
Complexity in concurrent or distributed systems can be managed by dividing component into smaller components. However, such transformations change the coordination behaviour betwe...
ENTCS
2006
14 years 9 months ago
2006
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.
78
Voted
ICEIS
2007
IEEE
15 years 1 months ago
2007
IEEE
ENTCS
2008
14 years 9 months ago
2008
Emerging architectures such as partially reconfigurable FPGAs provide a huge potential for adaptivity in the area of embedded systems. Since many system functions are only execute...
100
click to vote
DATESO
2010
14 years 7 months ago
2010
Abstract. Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as wel...