4224 search results - page 674 / 845 » Reasoning about Choice |
123
click to vote
RE
1995
Springer
15 years 9 months ago
1995
Springer
In an evolving specification, considerable development time and effort is spent handling recurrent inconsistencies. Tools and techniques for detecting and resolving inconsistencie...
136
click to vote
SDB
1995
15 years 9 months ago
1995
Database transformations arise in many di erent settings including database integration, evolution of database systems, and implementing user views and data-entry tools. This paper...
167
click to vote
FM
1991
Springer
15 years 9 months ago
1991
Springer
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
176
click to vote
ICML
1994
IEEE
15 years 9 months ago
1994
IEEE
Conservation of information (COI) popularized by the no free lunch theorem is a great leveler of search algorithms, showing that on average no search outperforms any other. Yet in ...
138
click to vote
PARLE
1991
15 years 9 months ago
1991
We present a new programming language designed to allow the convenient expression of algorithms for a parallel random access machine (PRAM). The language attempts to satisfy two p...