452 search results - page 69 / 91 » Symbolic Execution of Behavioral Requirements |
112
Voted
SAC
2009
ACM
15 years 5 months ago
2009
ACM
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
SBACPAD
2009
IEEE
15 years 5 months ago
2009
IEEE
RISC processors can be used to face the ever increasing demand for performance required by embedded systems. Nevertheless, this solution comes with the cost of poor code density. ...
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
—A common problem in many areas of behavioral research is the analysis of the large volume of data recorded during the execution of the tasks being studied. Recent work has propo...
SP
2008
IEEE
15 years 5 months ago
2008
IEEE
Rootkits are used by malicious attackers who desire to run software on a compromised machine without being detected. They have become stealthier over the years as a consequence of...
100
Voted
CODES
2007
IEEE
15 years 5 months ago
2007
IEEE
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...