2935 search results - page 234 / 587 » An Integrated Approach to High Integrity Software Verificati... |
154
click to vote
IWQOS
2001
Springer
15 years 11 months ago
2001
Springer
We present and evaluate two experimental extensions to RSVP in terms of protocol specification and implementation. These extensions are targeted at apparent shortcomings of RSVP to...
220
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents BCube, a new network architecture specifically designed for shipping-container based, modular data centers. At the core of the BCube architecture is its serve...
161
click to vote
FLAIRS
2008
15 years 9 months ago
2008
Effective extraction of query relevant information present within documents on the web is a nontrivial task. In this paper we present our system called QueSTS, which does the abov...
222
click to vote
EWCBR
2004
Springer
16 years 1 days ago
2004
Springer
The complexity of software systems makes design reuse a necessary task in the software development process. CASE tools can provide cognitive assistance in this task, helping the so...
198
click to vote
SPLC
2010
15 years 5 months ago
2010
Product line engineering allows for the rapid development of variants of a domain specific application by using a common set of reusable assets often known as core assets. Variabil...