Sciweavers

4047 search results - page 785 / 810
» The Discrete Basis Problem
Sort
View
ICSE
2001
IEEE-ACM
15 years 7 months ago
Using Transformation Systems for Software Maintenance and Reengineering
Software maintenance costs dominate software engineering costs, partly because most such engineering is done manually. Program Transformation tools leverage an engineer-provided b...
Ira D. Baxter
ASYNC
2000
IEEE
122views Hardware» more  ASYNC 2000»
15 years 7 months ago
DUDES: A Fault Abstraction and Collapsing Framework for Asynchronous Circuits
Fault Abstraction and Collapsing Framework for Asynchronous Circuits Philip P. Shirvani, Subhasish Mitra Center for Reliable Computing Stanford University Stanford, CA Jo C. Eberge...
Philip P. Shirvani, Subhasish Mitra, Jo C. Ebergen...
123
Voted
SIGMOD
1999
ACM
99views Database» more  SIGMOD 1999»
15 years 6 months ago
Belief Reasoning in MLS Deductive Databases
It is envisaged that the application of the multilevel security (MLS) scheme will enhance exibility and e ectiveness of authorization policies in shared enterprise databases and w...
Hasan M. Jamil
126
Voted
SMA
1999
ACM
106views Solid Modeling» more  SMA 1999»
15 years 6 months ago
Resolving non-uniqueness in design feature histories
Nearly all major commercial computer-aided design systems have adopted a feature-based design approach to solid modeling. Models are created via a sequence of operations which app...
Vincent A. Cicirello, William C. Regli
104
Voted
ICMCS
1999
IEEE
118views Multimedia» more  ICMCS 1999»
15 years 6 months ago
Evaluation of Copyright Marking Systems
Hidden copyright marks have been proposed as a solution for solving the illegal copying and proof of ownership problems in the context of multimedia objects. Many systems have been...
Fabien A. P. Petitcolas, Ross J. Anderson