528 search results - page 55 / 106 » Construction of concrete verification models from C |
ECBS
2006
IEEE
14 years 2 months ago
2006
IEEE
Complex and distributed systems are more and more common. Hardware is going from strength to strength and is embedded in high performance peer-to-peer networks mostly. The task of...
ISMB
1993
13 years 10 months ago
1993
A Bayesian method for estimating the amino acid distributions in the states of a hidden Markov model (HMM) for a protein familyor the columns of a multiple alignment of that famil...
ALGORITHMICA
2006
13 years 8 months ago
2006
Dai, Li, and Wu proposed Rule k, a localized approximation algorithm that attempts to find a small connected dominating set in a graph. In this paper we consider the "average...
DAWAK
2005
Springer
14 years 2 months ago
2005
Springer
Extract-Transform-Load (ETL) workflows are data centric workflows responsible for transferring, cleaning, and loading data from their respective sources to the warehouse. Previous ...
PADL
2004
Springer
14 years 2 months ago
2004
Springer
Message Sequence Charts (MSC) have traditionally been used as a weak form of behavioral requirements in software design; they denote scenarios which may happen. Live Sequence Chart...