2154 search results - page 372 / 431 » Evidence-based software production |
CHI
2004
ACM
15 years 11 months ago
2004
ACM
What's My Method? is the game show that asks the question, "How do you user-test games?" The goal of this session is to highlight important differences between user...
150
click to vote
SIGMOD
2006
ACM
15 years 10 months ago
2006
ACM
Documentum Enterprise Content Integration (ECI) services is a content integration middleware that provides one-query access to the Intranet and Internet content resources. The ECI...
119
click to vote
ICFP
2006
ACM
15 years 10 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
MOBISYS
2007
ACM
15 years 10 months ago
2007
ACM
The area of medical monitoring and diagnostics is of particular importance and relevance today. Modern nanotechnology has reduced prices and size of increasingly sophisticated sen...
ICWS
2009
IEEE
15 years 7 months ago
2009
IEEE
Professional mashups that include complex choreographies, data mediation, and result publishing within Web pages are still affected by implementation and design practices that rel...