11376 search results - page 106 / 2276 » Willow System Demonstration |
181
click to vote
CASE
2011
14 years 6 months ago
2011
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
199
click to vote
DSN
2011
IEEE
14 years 6 months ago
2011
IEEE
—We present Coerced Cache Eviction (CCE), a new method to force writes to disk in the presence of a disk cache that does not properly obey write-cache configuration or flush re...
201
click to vote
IEE
2011
15 years 1 months ago
2011
: In the development of software systems, quality properties should be considered along with the development process so that the qualities of software systems can be inferred and p...
141
click to vote
CAISE
2005
Springer
15 years 12 months ago
2005
Springer
The research reported upon in this paper aims at reducing errors in both the requirements engineering and the system specification phase of software development, by means of system...
149
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper, we demonstrate a novel hybrid control synthesis approach using an automotive suspension system. Discrete abstractions are used to approximate the continuou...