2196 search results - page 138 / 440 » Practical Reasoning Using Values |
112
click to vote
DLOG
2010
15 years 14 days ago
2010
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...
125
click to vote
ICAC
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper we construct an evaluation framework for a self-healing system, VM-Rejuv – a virtual machine based rejuvenation scheme for web-application servers – using simple...
119
click to vote
TVLSI
1998
15 years 2 months ago
1998
— Excessive instantaneous power consumption may reduce the reliability and performance of VLSI chips. Hence, to synthesize circuits with high reliability, it is imperative to efï...
126
click to vote
ML
2010
ACM
14 years 9 months ago
2010
ACM
With the advent of the Semantic Web, description logics have become one of the most prominent paradigms for knowledge representation and reasoning. Progress in research and applica...
110
Voted
AGILEDC
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper describes the authors’ experiences creating a full Build Management System from a simple Version Control System. We will explore how the XP values of simplicity, feed...