2493 search results - page 480 / 499 » Tool Support for Design by Contract |
IMC
2010
ACM
13 years 6 months ago
2010
ACM
Operators and researchers want accurate router-level views of the Internet for purposes including troubleshooting and modeling. However, tools such as traceroute return IP address...
CSCW
2010
ACM
13 years 5 months ago
2010
ACM
This paper addresses the collaborative development of information infrastructure for supporting data-rich scientific collaboration. Studying infrastructure development empirically ...
ATAL
2011
Springer
12 years 8 months ago
2011
Springer
Proper scoring rules, particularly when used as the basis for a prediction market, are powerful tools for eliciting and aggregating beliefs about events such as the likely outcome...
Book
"Have you ever played a side-scrolling action arcade game on your PC and wondered what it takes to program one? How do the programmers scroll their backgrounds so fast and mak...
VIS
2004
IEEE
14 years 9 months ago
2004
IEEE
Virtual prototyping is increasingly replacing real mock-ups and experiments in industrial product development. Part of this process is the simulation of structural and functional ...