1141 search results - page 27 / 229 » A Generative Style-driven Framework for Software Architectur... |
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
APSEC
2000
IEEE
15 years 2 months ago
2000
IEEE
Component-based software development approach is based on the idea to develop software systems by selecting appropriate off-the-shelf components and then to assemble them with a w...
128
click to vote
WOSP
1998
ACM
15 years 1 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
101
click to vote
EUROMICRO
2009
IEEE
15 years 1 months ago
2009
IEEE
Runtime quality of software, such as availability and throughput, depends on architectural factors and execution environment characteristics (e.g. CPU speed, network latency). Alth...
81
Voted
CODES
2006
IEEE
15 years 3 months ago
2006
IEEE
Transaction-level modeling has been touted to improve simulation performance and modeling efficiency for early design space exploration. But no tools are available to generate suc...