Sciweavers

3514 search results - page 165 / 703
» Evolving Specification Engineering
Sort
View
FMLDO
2000
Springer
138views Database» more  FMLDO 2000»
13 years 11 months ago
Schema Evolution and Versioning: A Logical and Computational Characterisation
In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general objectoriented model for sc...
Enrico Franconi, Fabio Grandi, Federica Mandreoli
DAC
1995
ACM
13 years 11 months ago
DARWIN: CMOS Opamp Synthesis by Means of a Genetic Algorithm
—DARWIN is a tool that is able to synthesize CMOS opamps, on the basis of a genetic algorithm. A randomly generated initial set of opamps evolves to a set in which the topologies...
Wim Kruiskamp, Domine Leenaerts
SEW
2005
IEEE
14 years 1 months ago
Bridging the Gap between Systems Design
A challenging problem for software engineering practitioners is moving from high-level system architectures produced by system engineers to deployable software produced by softwar...
David Garlan, William K. Reinholtz, Bradley R. Sch...
SERA
2010
Springer
13 years 6 months ago
Representing Unique Stakeholder Perspectives in BPM Notations
—Evidence shows that proposals for new modeling notations emerge and evolution of current ones are becoming more complex, often in an attempt to satisfy the many different modeli...
Carlos Monsalve, Alain April, Alain Abran
MM
2010
ACM
207views Multimedia» more  MM 2010»
13 years 8 months ago
TalkMiner: a search engine for online lecture video
TalkMiner is a search engine for lecture webcasts. Lecture videos are processed to recover a set of distinct slide images and OCR is used to generate a list of indexable terms fro...
John Adcock, Matthew Cooper, Laurent Denoue, Hamed...