5525 search results - page 600 / 1105 » Verification of Model Transformations |
189
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
207
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
This paper introduces a method to control JavaScript execution. The aim is to prevent or modify inappropriate behaviour caused by e.g. malicious injected scripts or poorly designe...
198
click to vote
LCTRTS
2007
Springer
16 years 1 months ago
2007
Springer
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis tha...
208
click to vote
ISCA
2002
IEEE
15 years 6 months ago
2002
IEEE
Traditional vector architectures have shown to be very effective for regular codes where the compiler can detect data-level parallelism. However, this SIMD parallelism is also pre...
254
click to vote
TOPNOC
2010
15 years 1 months ago
2010
Information systems supporting business process are mostly very complex. If we have to ensure that certain business rules are enforced in a business process, it is often easier to ...