452 search results - page 69 / 91 » Symbolic Execution of Behavioral Requirements |
188
click to vote
SAC
2009
ACM
16 years 20 days 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 ...
156
click to vote
SBACPAD
2009
IEEE
16 years 18 days 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. ...
127
click to vote
ICPR
2010
IEEE
16 years 15 days 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...
146
click to vote
SP
2008
IEEE
16 years 7 days 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...
161
click to vote
CODES
2007
IEEE
16 years 6 days 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...