170 search results - page 30 / 34 » A Model-Based Approach for Executable Specifications on Reco... |
100
click to vote
CAV
2006
Springer
15 years 3 months ago
2006
Springer
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
177
click to vote
ICDT
2009
ACM
16 years 9 days ago
2009
ACM
Almost all medium- and large-scale businesses rely on electronic workflow systems to manage their business processes. A key challenge is to enable the easy re-use and modification...
DATE
2003
IEEE
15 years 4 months ago
2003
IEEE
Smart cards are vulnerable to both invasive and non-invasive attacks. Specifically, non-invasive attacks using power and timing measurements to extract the cryptographic key has d...
149
click to vote
ECRTS
2010
IEEE
15 years 21 days ago
2010
IEEE
Embedded control systems with hard real-time constraints require that deadlines are met at all times or the system may malfunction with potentially catastrophic consequences. Sched...
CODES
2001
IEEE
15 years 3 months ago
2001
IEEE
In this paper, we present a proposal for a UML profile called `Embedded UML'. Embedded UML represents a synthesis of various ideas in the real-time UML community, and concept...