50 search results - page 2 / 10 » Expressing Security Properties Using Selective Interleaving ... |
SAT
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
PROCEDIA
2010
12 years 11 months ago
2010
In this work we address the issue of selecting and composing Web Services (WSs) considering functional requirements and transactional properties. We formalize the WS composition p...
DSRT
2008
IEEE
13 years 11 months ago
2008
IEEE
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
BMCBI
2005
13 years 4 months ago
2005
Background: Accurate assignment of genes to pathways is essential in order to understand the functional role of genes and to map the existing pathways in a given genome. Existing ...
VTC
2007
IEEE
13 years 11 months ago
2007
IEEE
—We consider a receive antenna selection MIMO system, where only one receive antenna is selected out of Nr antennas. Spatial channel correlation will be considered at the receive...