Sciweavers

IEEESCC
2010
IEEE
15 years 9 months ago
SecureSOA
Service-oriented Architectures (SOA) facilitate the provision and orchestration of business services to enable a faster adoption to changing business demands. Web Services provide...
Michael Menzel, Christoph Meinel
CAV
2008
Springer
143views Hardware» more  CAV 2008»
15 years 9 months ago
Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
We show how to view certain subclasses of (single-pushout) graph transformation systems as well-structured transition systems, which leads to decidability of the covering problem v...
Salil Joshi, Barbara König
CAV
2008
Springer
110views Hardware» more  CAV 2008»
15 years 9 months ago
Abstract Interpretation with Applications to Timing Validation
Reinhard Wilhelm, Björn Wachter
CAV
2008
Springer
89views Hardware» more  CAV 2008»
15 years 9 months ago
Faster Than Uppaal?
Sebastian Kupferschmid, Martin Wehrle, Bernhard Ne...
186
Voted
CASES
2008
ACM
15 years 9 months ago
Predictable programming on a precision timed architecture
In a hard real-time embedded system, the time at which a result is computed is as important as the result itself. Modern processors go to extreme lengths to ensure their function ...
Ben Lickly, Isaac Liu, Sungjun Kim, Hiren D. Patel...