3828 search results - page 675 / 766 » Proof-Based System Engineering Using a Virtual System Model |
107
click to vote
AOSD
2009
ACM
15 years 9 months ago
2009
ACM
Systems software uses conditional compilation to manage crosscutting concerns in a very fine-grained and efficient way, but at the expense of tangled and scattered conditional c...
116
click to vote
ADAEUROPE
2007
Springer
15 years 8 months ago
2007
Springer
In this article, we experiment a way to extend an Ada library called Cheddar. Cheddar provides a domain specific language. Programs written with this domain specific language can...
IWSSD
2000
IEEE
15 years 6 months ago
2000
IEEE
Most software that most people use most of the time needs only moderate assurance of fitness for its intended purpose. Unlike high-assurance software, where the severe consequence...
116
click to vote
UIST
2010
ACM
15 years 5 days ago
2010
ACM
Mechanical Turk provides an on-demand source of human computation. This provides a tremendous opportunity to explore algorithms which incorporate human computation as a function c...
126
click to vote
WWW
2007
ACM
16 years 3 months ago
2007
ACM
Several approaches to collaborative filtering have been studied but seldom have studies been reported for large (several million users and items) and dynamic (the underlying item ...