7080 search results - page 848 / 1416 » Designing High Integrity Systems Using Aspects |
194
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: We present 2DDB, a bioinformatics solution for storage, integration and analysis of quantitative proteomics data. As the data complexity and the rate with which it is ...
266
click to vote
EDOC
2003
IEEE
16 years 23 days ago
2003
IEEE
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...
211
click to vote
ISSTA
2000
ACM
15 years 12 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
270
click to vote
APCCM
2009
15 years 8 months ago
2009
Existing HTML mark-up is used only to indicate the structure and lay-out of documents, but not the document semantics. As a result web documents are difficult to be semantically p...
191
click to vote
AROBOTS
2002
15 years 7 months ago
2002
Human speech provides a natural and intuitive interface for both communicating with humanoid robots as well as for teaching them. In general, the acoustic pattern of speech contain...