3147 search results - page 572 / 630 » Open-Source Model Checking |
PST
2008
13 years 9 months ago
2008
Can we trust without any reliable truth information? Most trust architectures work in a similar way: a trustor makes some observations, rates the trustee, and makes recommendations...
USAB
2008
13 years 9 months ago
2008
The present study examines the relative importance of a series of known and expected factors that highly affect threat detection performance in aviation security X-ray screening. E...
BIOCOMP
2006
13 years 9 months ago
2006
Based on microarray gene expression datasets, many statistical methods have been proposed to locate the significant differentially expressed genes (marker genes) among different sa...
DLOG
2006
13 years 9 months ago
2006
The novel context of accessing and querying large data repositories through ontologies that are formalized in terms of expressive DLs requires on the one hand to consider query an...
SEC
2004
13 years 9 months ago
2004
Business Processes for Web Services (BPEL4WS) are the new paradigms for lightweight enterprise integration. They cross organizational boundaries and are provided by entities that s...