Sciweavers

648 search results - page 54 / 130
» Collaborative Modeling - A Design Science Approach
Sort
View

Lecture Notes
4961views
15 years 8 months ago
The Relational Data Model, Normalisation and effective Database Design
I have been designing and building applications, including the databases used by those applications, for several decades now. I have seen similar problems approached by different d...
Tony Marston
HICSS
2007
IEEE
140views Biometrics» more  HICSS 2007»
14 years 5 months ago
Design Pattern Evolution and Verification Using Graph Transformation
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
Chunying Zhao, Jun Kong, Kang Zhang
DAC
2003
ACM
14 years 12 months ago
Behavioral consistency of C and verilog programs using bounded model checking
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
Edmund M. Clarke, Daniel Kroening, Karen Yorav
ICDE
2006
IEEE
141views Database» more  ICDE 2006»
14 years 5 months ago
MoSCoE: A Framework for Modeling Web Service Composition and Execution
Development of sound approaches and software tools for specification, assembly, and deployment of composite Web services from independently developed components promises to enhan...
Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasa...
HICSS
2003
IEEE
85views Biometrics» more  HICSS 2003»
14 years 4 months ago
Designs for Ramp-Constrained Day-Ahead Auctions
— Some electric power markets allow bidders to specify constraints on ramp rates for increasing or decreasing power production. We show in a small example that a bidder could use...
Shmuel S. Oren, Andrew M. Ross