Sciweavers

1830 search results - page 264 / 366
» Implementing a Tamper-Evident Database System
Sort
View
92
Voted
ER
2007
Springer
141views Database» more  ER 2007»
15 years 7 months ago
Active Meta Modeling Support for Evolving E-contracts
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...
P. Radha Krishna, Kamalakar Karlapalem
95
Voted
CDC
2009
IEEE
176views Control Systems» more  CDC 2009»
15 years 5 months ago
Data based modeling and control of a dual-stage actuator hard disk drive
— A data-based approach is presented for modeling and controller design of a dual-stage servo actuator in a hard disk drive. The servo actuator in this hard disk drive consists o...
Uwe Boettcher, Raymond A. de Callafon, Frank E. Ta...
ICSE
1998
IEEE-ACM
15 years 5 months ago
Consistency Management for Complex Applications
Consistency management is an important requirement in many complex applications, but current programming languages and database systems provide inadequate support for it. To addre...
Peri L. Tarr, Lori A. Clarke
CIKM
2004
Springer
15 years 4 months ago
Restructuring batch view maintenance efficiently
Materialized views defined over distributed data sources are a well recognized technology for modern applications. Stateof-the-art incremental view maintenance requires O(n2 ) or ...
Bin Liu, Elke A. Rundensteiner, David Finkel
67
Voted
CAISE
2006
Springer
15 years 4 months ago
Experiences with Modeling and Verification of Regulations
Information system models commonly describe organizations in terms of the structure of the data they use, the organization of the processes they perform and the operations that wil...
Jan Vanthienen, Christophe Mues, Stijn Goedertier