2002 search results - page 198 / 401 » Interactive technical illustration |
176
click to vote
RECOMB
2007
Springer
15 years 11 months ago
2007
Springer
Publicly-available data sets provide detailed and large-scale information on multiple types of molecular interaction networks in a number of model organisms. These multi-modal univ...
243
click to vote
ICDE
2006
IEEE
16 years 6 months ago
2006
IEEE
We present a secure network service for sovereign information sharing whose only trusted component is an off-theshelf secure coprocessor. The participating data providers send enc...
151
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
175
click to vote
ICSE
2005
IEEE-ACM
16 years 5 months ago
2005
IEEE-ACM
Software engineering (SE) is very different in focus from traditional computer science: it is not just about computers and software, but as much about the context in which they ar...
178
click to vote
ISMAR
2009
IEEE
15 years 11 months ago
2009
IEEE
Visuo-haptic mixed reality consists of adding to a real scene the ability to see and touch virtual objects. It requires the use of seethrough display technology for visually mixin...