2520 search results - page 391 / 504 » Model-checking behavioral programs |
ICSE
2007
IEEE-ACM
14 years 4 months ago
2007
IEEE-ACM
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
SEKE
2007
Springer
14 years 4 months ago
2007
Springer
We define adaptability as the capacity of software in adjusting its behavior in response to changing conditions. To list just a few examples, adaptability is important in pervasiv...
ICAC
2006
IEEE
14 years 4 months ago
2006
IEEE
Network resources will always be heterogeneous, and thus have different functionalities and programming models. This adversely affects interoperability. Seamless Mobility is one e...
ISSRE
2006
IEEE
14 years 4 months ago
2006
IEEE
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
ASPLOS
2006
ACM
14 years 4 months ago
2006
ACM
Cycles per Instruction (CPI) stacks break down processor execution time into a baseline CPI plus a number of miss event CPI components. CPI breakdowns can be very helpful in gaini...