170 search results - page 30 / 34 » A Model-Based Approach for Executable Specifications on Reco... |
121
click to vote
CAV
2006
Springer
15 years 5 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...
194
click to vote
ICDT
2009
ACM
16 years 2 months 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 6 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...
168
click to vote
ECRTS
2010
IEEE
15 years 2 months 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...
113
click to vote
CODES
2001
IEEE
15 years 5 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...