10435 search results - page 372 / 2087 » Measuring system normality |
164
click to vote
SIGOPS
2010
15 years 1 months ago
2010
We introduce SelfTalk, a novel declarative language that allows users to query and understand the status of a large scale system. SelfTalk is sufficiently expressive to encode an ...
178
click to vote
IASSE
2004
15 years 8 months ago
2004
This paper describes how design information, in our case UML specifications, can be used to evolve a software system and validate the consistency of such an evolution. This work c...
135
click to vote
AR
2004
15 years 6 months ago
2004
SDR-4X II is the latest prototype model of a small biped entertainment robot. It is the improved model of SDR-4X. In this paper we report on the sensing system of this robot, which...
136
click to vote
METRICS
2003
IEEE
16 years 19 hour ago
2003
IEEE
Design patterns are recognized, named solutions to common design problems. The use of the most commonly referenced design patterns should promote adaptable and reusable program co...
194
click to vote
JAR
2010
15 years 5 months ago
2010
Meta-logics and type systems based on intuitionistic logic are commonly used for specifying natural deduction proof systems. We shall show here that linear logic can be used as a m...