Sciweavers

637 search results - page 63 / 128
» Inconsistency-Tolerant Integrity Checking
Sort
View
143
Voted
FOIKS
2008
Springer
15 years 5 months ago
A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases
Abstract In this paper we present a new rule-based approach for consistency preserving view updating in deductive databases. Based on rule transformations performed during schema d...
Andreas Behrend, Rainer Manthey
112
Voted
FPL
2008
Springer
112views Hardware» more  FPL 2008»
15 years 5 months ago
Secure FPGA configuration architecture preventing system downgrade
In the context of FPGAs, system downgrade consists in preventing the update of the hardware configuration or in replaying an old bitstream. The objective can be to preclude a syst...
Benoît Badrignans, Reouven Elbaz, Lionel Tor...
111
Voted
CSREAEEE
2008
64views Business» more  CSREAEEE 2008»
15 years 5 months ago
Representing IT Governance Frameworks as Metamodels
Abstract - Up to now, there is little academic support for the challenges of IT management. As a reaction, various best practice frameworks were developed, which can be subsumed un...
Matthias Goeken, Stefanie Alter
149
Voted
AUTOMATICA
2007
110views more  AUTOMATICA 2007»
15 years 3 months ago
Stability analysis of systems with uncertain time-varying delays
Stability in presence of bounded uncertain time-varying delays in the feedback loop of a system is studied. The delay parameter is assumed to be an unknown time-varying function f...
Chung-Yao Kao, Anders Rantzer
147
Voted
ICWS
2010
IEEE
15 years 2 months ago
Timed Extended Invariants for the Passive Testing of Web Services
The service-oriented approach is becoming more and more popular to integrate highly heterogeneous systems. Web services are the natural evolution of conventional middleware techno...
Gerardo Morales, Stéphane Maag, Ana R. Cava...