6474 search results - page 1087 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
183
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
194
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
The problem of production and delivery lot-sizing and scheduling of set of items in a two-echelon supply chain over a finite planning horizon is addressed in this paper. A single ...
189
click to vote
WCRE
2003
IEEE
16 years 13 days ago
2003
IEEE
As software evolves, maintenance practices require a process of accommodating changing requirements while minimizing the cost of implementing those changes. Over time, incompatibi...
234
click to vote
ADAEUROPE
2010
Springer
15 years 12 months ago
2010
Springer
Because multicore CPUs have become the standard with all major hardware manufacturers, it becomes increasingly important for ing languages to provide programming abstractions that ...
211
click to vote
ICSE
1998
IEEE-ACM
15 years 11 months ago
1998
IEEE-ACM
Software architecture descriptions are high-level models of software systems. Some researchers have proposed specialpurpose architectural notations that have a great deal of expre...