11561 search results - page 423 / 2313 » A Language for Biochemical Systems |
207
click to vote
CHI
2009
ACM
16 years 8 months ago
2009
ACM
Much of the work done in the field of tangible interaction has focused on creating tools for learning; however, in many cases, little evidence has been provided that tangible inte...
190
click to vote
FOSSACS
2004
Springer
16 years 1 months ago
2004
Springer
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
164
click to vote
INDIASE
2009
ACM
16 years 11 days ago
2009
ACM
We present an approach to automating some of the quality assurance review of software requirements documents, and promoting best practices for requirements documentation. The syst...
191
click to vote
AOSD
2007
ACM
15 years 11 months ago
2007
ACM
Most current software systems contain undocumented high-level ideas implemented across multiple files and modules. When developers perform program maintenance tasks, they often wa...
219
click to vote
CLEF
2008
Springer
15 years 9 months ago
2008
Springer
GeoCLEF is an evaluation initiative for testing queries with a geographic specification in large set of text documents. GeoCLEF ran a regular track for the third time within the C...