11376 search results - page 182 / 2276 » Willow System Demonstration |
156
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...
178
click to vote
ECBS
1997
IEEE
15 years 10 months ago
1997
IEEE
The report issued by the Inquiry Board in charge of inspecting the Ariane 5 flight 501 failure concludes that causes of the failure are rooted into poor S/W Engineering practice. ...
178
click to vote
FAST
2010
15 years 8 months ago
2010
We present a study of the effects of disk and memory corruption on file system data integrity. Our analysis focuses on Sun's ZFS, a modern commercial offering with numerous r...
196
click to vote
FLAIRS
2007
15 years 8 months ago
2007
Though attention to evaluating human-robot interfaces has increased in recent years, there are relatively few reports of using evaluation tools during the development of humanrobo...
138
click to vote
NSDI
2008
15 years 8 months ago
2008
The systems and networking community treasures "simple" system designs, but our evaluation of system simplicity often relies more on intuition and qualitative discussion...