3238 search results - page 333 / 648 » Multi-return function call |
186
click to vote
RULEML
2004
Springer
16 years 23 hour ago
2004
Springer
In this paper we present R-DEVICE, a deductive rule language for reasoning about RDF metadata. R-DEVICE includes features such as normal and generalized path expressions, stratifie...
178
click to vote
SAFECOMP
2004
Springer
16 years 23 hour ago
2004
Springer
This paper defines a type of constrained artificial neural network (ANN) that enables analytical certification arguments whilst retaining valuable performance characteristics. ...
147
click to vote
SELMAS
2004
Springer
16 years 22 hour ago
2004
Springer
Software systems of today are characterized by the increasing size, complexity, distribution and heterogeneity. Understanding and supporting the interaction between software requi...
182
click to vote
UPP
2004
Springer
16 years 19 hour ago
2004
Springer
Abstract. Traditionally, autonomic computing is envisioned as replacing the human factor in the deployment, administration and maintenance of computer systems that are ever more co...
157
click to vote
ATS
2003
IEEE
15 years 12 months ago
2003
IEEE
Capacitive crosstalk can give rise to slowdown of signals that can propagate to a circuit output and create a functional error. A test generation methodology, called XGEN, was dev...