1106 search results - page 63 / 222 » Software That Can Think and Do |
161
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
204
click to vote
DT
2006
15 years 6 months ago
2006
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...
205
click to vote
KDD
2006
ACM
16 years 6 months ago
2006
ACM
Along with the blossom of open source projects comes the convenience for software plagiarism. A company, if less self-disciplined, may be tempted to plagiarize some open source pr...
167
click to vote
ANCS
2010
ACM
15 years 4 months ago
2010
ACM
Software packet processing is becoming more important to enable differentiated and rapidly-evolving network services. With increasing numbers of programmable processor and acceler...
140
click to vote
EGOV
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we present an approach based on hierarchically structured business models as artifacts of business process modeling that are used in a stepwise acquisition process f...