75 search results - page 12 / 15 » Toward Integrating a System Theoretic Safety Analysis in an ... |
DOCENG
2005
ACM
13 years 9 months ago
2005
ACM
Recent developments of document technologies have strongly impacted the evolution of Web clients over the last fifteen years, but all Web clients have not taken the same advantag...
BMCBI
2007
13 years 7 months ago
2007
Background: Current methods for the automated generation of genome-scale metabolic networks focus on genome annotation and preliminary biochemical reaction network assembly, but d...
ADBIS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. In this paper, we identify issues and present solutions developed – both theoretical and experimental – during the course of developing a data stream management syste...
FMICS
2009
Springer
14 years 2 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
ADAEUROPE
2010
Springer
14 years 13 days ago
2010
Springer
Now that multicore microprocessors have become a commodity, it is natural to think about employing them in all kinds of computing, including high-reliability embedded real-time sy...