3611 search results - page 585 / 723 » Computer Supported Collaborative Research |
175
click to vote
ITP
2010
15 years 4 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
157
click to vote
KES
2010
Springer
15 years 4 months ago
2010
Springer
While computation of biological information takes center stage in today’s research, knowledge-based query processing in biological databases has not gained much attention. The co...
174
click to vote
PERCOM
2010
ACM
15 years 4 months ago
2010
ACM
Abstract—A platform-independent communication mechanism is essential for the seamless integration of embedded devices into the Web of Things. Web services provide for such commun...
171
click to vote
RECOMB
2010
Springer
15 years 4 months ago
2010
Springer
An important question in genome evolution is whether there exist fragile regions (rearrangement hotspots) where chromosomal rearrangements are happening over and over again. Althou...
196
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: In recent years, mobile devices became more and more powerful, wireless Internet access is becoming standard. To support mobile applications adapting their User Interface to vari...