3216 search results - page 559 / 644 » The Oregon Software Development Process |
134
click to vote
DAGSTUHL
1996
15 years 3 months ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...
170
click to vote
ICSE
2007
IEEE-ACM
15 years 8 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
159
click to vote
SIGDOC
2010
ACM
15 years 3 days ago
2010
ACM
The growing popularity of mobile devices gave birth to a still emergent research field, called Mobile Music, and concerning the development of musical applications for use in thes...
142
click to vote
DOLAP
2010
ACM
14 years 11 months ago
2010
ACM
The integration of OLAP with web-search technologies is a promising research topic. Recommender systems are popular web-search mechanisms, because they can address information ove...
132
click to vote
Publication
Advancing the synthesis of Eastern mind science with Western physical science will require a robust and easy-to-traverse bridge between the atypical apprehensions within meditation...