2637 search results - page 131 / 528 » Tool Supported Specification and Simulation of Distributed S... |
119
click to vote
SSS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. For large distributed systems built from inexpensive components, one expects to see incessant failures. This paper proposes two models for such faults and analyzes two we...
142
click to vote
PST
2008
15 years 5 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
157
click to vote
DAC
2010
ACM
15 years 3 months ago
2010
ACM
As high-level models in C and SystemC are increasingly used for verification and even design (through high-level synthesis) of electronic systems, there is a growing need for com...
148
click to vote
COMPLIFE
2006
Springer
15 years 8 months ago
2006
Springer
A powerful new software concept to physiologically based pharmacokinetic (PBPK) modelling of drug disposition is presented. It links the inherent modular understanding in pharmacol...
129
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
The aim of P2P computing is to build virtual computing systems dedicated to large-scale computational problems. JXTA1 proposes an underlying infrastructure on which JNGI2 , one of...