12107 search results - page 217 / 2422 » Software That Can Think |
166
click to vote
DL
2000
Springer
15 years 11 months ago
2000
Springer
This paper describes the Greenstone digital library software, a comprehensive, open-source system for the construction and presentation of information collections. Collections bui...
155
click to vote
ISPW
1996
IEEE
15 years 10 months ago
1996
IEEE
Barry Boehm, Universityof Southern Calfornia Steven Wolf, Rockwell Collins The development and reuse of sofhvare engineering processes within an organization can be impeded by the...
194
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
Concurrent verification of hardware and software as part of the development process can shorten the time to market of complex systems. The objectives of the Virtual CPU approach i...
159
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
167
click to vote
CBSE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. A component-based system consists of components linked by connectors. Data can reside in components and/or in external data stores. Operations on data, such as access, up...