2392 search results - page 84 / 479 » Performance modeling from software components |
151
Voted
SCESM
2006
ACM
15 years 8 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
113
Voted
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
101
click to vote
WSC
1998
15 years 3 months ago
1998
The development of a Distributed Information System (DIS) can lead to critical bottlenecks because of the underlying architecture, which is becoming more and more complex. Todays ...
108
Voted
ESOP
2003
Springer
15 years 7 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
127
Voted
CODES
2007
IEEE
15 years 8 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...