2065 search results - page 173 / 413 » Using Architectural Models at Runtime: Research Challenges |
189
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
High throughput glycoproteomics, similar to genomics and proteomics, involves extremely large volumes of distributed, heterogeneous data as a basis for identification and quantifi...
132
click to vote
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
Recently, the publish-subscribe communication model has attracted the attention of developers as a viable alternative to traditional communication schemas, like request/reply, for...
147
click to vote
WSC
1998
15 years 7 months ago
1998
Proof AnimationTM is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsize...
153
click to vote
WSC
1989
15 years 7 months ago
1989
Proof Animation™ is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsiz...
181
click to vote
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
—One of the major design verification challenges in the development of Anton, a massively parallel special-purpose machine for molecular dynamics, was to provide evidence that co...