9006 search results - page 1534 / 1802 » Modeling Software |
143
click to vote
BIBE
2004
IEEE
15 years 8 months ago
2004
IEEE
Large-scale biomedical data sets of macromolecular structures such as DNA and proteins describe highly complex biomolecular entities which often consist of thousands of atoms and ...
185
click to vote
CCGRID
2004
IEEE
15 years 8 months ago
2004
IEEE
Distributed computing middleware needs to support a wide range of resources, such as diverse software components, various hardware devices, and heterogeneous operating systems and...
147
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
149
click to vote
DRM
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we look at the problem of interoperability of digital rights management (DRM) systems in home networks. We introduce an intermediate module called the Domain Interop...
163
click to vote
COMPGEOM
2001
ACM
15 years 8 months ago
2001
ACM
: Many geometric problems like generalized Voronoi diagrams, medial axis computations and boundary evaluation involve computation and manipulation of non-linear algebraic primitive...