7380 search results - page 978 / 1476 » Engineering Software Intensive Systems |
178
Voted
TAPIA
2009
ACM
16 years 25 days ago
2009
ACM
Genomics has reached the stage at which the amount of DNA sequence information in existing databases is quite large. Synthetic biology is now using these databases to catalog sequ...
154
click to vote
ISORC
2008
IEEE
16 years 22 days ago
2008
IEEE
Grid computing has emerged as a new paradigm of distributed computing technology on large-scale resource sharing and coordinated problem solving. Based on a proposed Web service-b...
149
click to vote
FOSSACS
2007
Springer
16 years 15 days ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...
134
Voted
UIST
2005
ACM
15 years 12 months ago
2005
ACM
Traditional documentation for computer-based procedures is difficult to use: readers have trouble navigating long complex instructions, have trouble mapping from the text to displ...
146
click to vote
UIST
2005
ACM
15 years 12 months ago
2005
ACM
Knowledge workers use paper extensively for document reviewing and note-taking due to its versatility and simplicity of use. As users annotate printed documents and gather notes, ...