Sciweavers

3192 search results - page 139 / 639
» A Requirements-Driven Development Methodology
Sort
View
CEC
2010
IEEE
15 years 5 months ago
Grammatical rules for the automated construction of heuristics
— Developing a problem-domain independent methodology to automatically generate high performing solving strategies for specific problems is one of the challenging trends on hype...
Germán Terrazas, Natalio Krasnogor
144
Voted
USENIX
2000
15 years 6 months ago
Towards Availability Benchmarks: A Case Study of Software RAID Systems
Benchmarks have historically played a key role in guiding the progress of computer science systems research and development, but have traditionally neglected the areas of availabi...
Aaron B. Brown, David A. Patterson
JGS
2000
89views more  JGS 2000»
15 years 4 months ago
Part 2 The Link between GIS and spatial analysis
Abstract: Some ideas are formulated on the challenges presented to GIS, spatial analysis and spatial econometrics that result from recent trends in social science research. These n...
Luc Anselin
164
Voted
FMSD
2002
128views more  FMSD 2002»
15 years 4 months ago
Combining Software and Hardware Verification Techniques
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
Robert P. Kurshan, Vladimir Levin, Marius Minea, D...
164
Voted
SIGMOD
2002
ACM
106views Database» more  SIGMOD 2002»
15 years 4 months ago
A Study on the Management of Semantic Transaction for Efficient Data Retrieval
Mobile computing technology is developing rapidly due to the advantages of information access through mobile devices and the need to retrieve information at remote locations. Howe...
Shi-Ming Huang, Irene S. Y. Kwan, Chih-He Li