Sciweavers

1077 search results - page 88 / 216
» integration 2000
Sort
View
EH
2000
IEEE
81views Hardware» more  EH 2000»
14 years 12 days ago
Toward Self-Repairing and Self-Replicating Hardware: The Embryonics Approach
The growth and operation of all living beings are directed by the interpretation, in each of their cells, of a chemical program, the DNA string or genome. This process is the sour...
Daniel Mange, Moshe Sipper, André Stauffer,...
RTS
2000
143views more  RTS 2000»
13 years 7 months ago
Fast and Precise WCET Prediction by Separated Cache and Path Analyses
Precise run-time prediction suffers from a complexity problem when doing an integrated analysis. This problem is characterised by the conflict between an optimal solution and the c...
Henrik Theiling, Christian Ferdinand, Reinhard Wil...
DEXA
2000
Springer
76views Database» more  DEXA 2000»
14 years 10 days ago
Semantic Verification of Rule-Based Systems with Arithmetic Constraints
The aim of this paper is to show a method that is able to detect a particular class of semantic inconsistencies in a rule-based system (RBS). A semantic inconsistency is defined by...
Jaime Ramírez, Angélica de Antonio
QOFIS
2000
Springer
13 years 11 months ago
On the Feasibility of RSVP as General Signalling Interface
Much debate exists whether explicit signalling is eventually required to create a reliable and integrated multi-service Internet. If yes, further disagreement exists, how such sign...
Martin Karsten, Jens Schmitt, Nicole Beriér...
ECIS
2000
13 years 9 months ago
Restructuring the German Outpatient Health Care System: An Economic and IT Perspective
Abstract - Among other proposals to reform the German outpatient health care system the establishment of networks of cooperating physicians (doctors' networks) has found high ...
Stefan G. Gfrörer, Markus Raupp, Franz Schobe...