1252 search results - page 234 / 251 » Complex Systems and Agent-Oriented Software Engineering |
SIGSOFT
2004
ACM
14 years 11 months ago
2004
ACM
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...
VMCAI
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
IUI
2004
ACM
14 years 4 months ago
2004
ACM
Complex applications in many areas, including scientific computations and business-related web services, are created from collections of components to form workflows. In many case...
EMSOFT
2004
Springer
14 years 4 months ago
2004
Springer
We present a technique to approximate the worst-case execution time that combines structural analysis with a loop-bounding algorithm based on local induction variable analysis. St...
ICSE
2010
IEEE-ACM
14 years 3 months ago
2010
IEEE-ACM
Performance analysts rely heavily on load testing to measure the performance of their applications under a given load. During the load test, analyst strictly monitor and record th...