5668 search results - page 880 / 1134 » Overlaps in Requirements Engineering |
149
click to vote
EUROPAR
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Accurately modeling and predicting performance for largescale applications becomes increasingly difficult as system complexity scales dramatically. Analytic predictive mo...
178
click to vote
FSTTCS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We consider a generalization of the set cover problem, in which elements are covered by pairs of objects, and we are required to find a minimum cost subset of objects th...
219
click to vote
FSTTCS
2005
Springer
16 years 8 days ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
188
click to vote
ICESS
2005
Springer
16 years 7 days ago
2005
Springer
: This paper presents a simple and efficient switched Ethernet communication protocol for industrial hard real-time LAN applications. The network is founded with end nodes and a sw...
158
click to vote
ICFEM
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. In formal testing, the assumption of input enabling is typically made. This assumption requires all inputs to be enabled anytime. In addition, the useful concept of quies...