5544 search results - page 528 / 1109 » Three Inadequate Models |
192
click to vote
CAISE
2003
Springer
16 years 9 days ago
2003
Springer
: A data warehouse is a database focused on decision making. It is built separately from the transactional (OLTP) databases of the enterprise, although it is partly fed from transa...
187
click to vote
APSEC
2002
IEEE
16 years 1 days ago
2002
IEEE
Software process improvement (SPI) has emerged as a critical area for organizations involved in software development. There is now considerable evidence that SPI can provide subst...
174
click to vote
ESOP
1999
Springer
15 years 11 months ago
1999
Springer
MetaML is a multi-stage functional programming language featuring three constructs that can be viewed as statically-typed refinements of the back-quote, comma, and eval of Scheme....
190
click to vote
GLVLSI
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
176
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Software is an increasing and important part of many products and systems. Software, hardware, and system level components have been developed and produced following separate proc...