452 search results - page 50 / 91 » Symbolic Execution of Behavioral Requirements |
118
click to vote
CCGRID
2008
IEEE
15 years 29 days ago
2008
IEEE
Production grids are complex and highly variable systems whose behavior is not well understood and difficult to anticipate. The goal of this study is to estimate the impact of the ...
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
AAI
2006
14 years 11 months ago
2006
Multi-agent systems are well suited for building large software systems. A great deal of these complex systems includes process flows that are concerned with time or are even time...
171
click to vote
ASPLOS
2011
ACM
14 years 2 months ago
2011
ACM
We present PowerDial, a system for dynamically adapting application behavior to execute successfully in the face of load and power fluctuations. PowerDial transforms static conï¬...
174
click to vote
POPL
2005
ACM
15 years 11 months ago
2005
ACM
Modern applications are designed in multiple tiers to separate concerns. Since each tier may run at a separate location, middleware is required to mediate access between tiers. Ho...