Sciweavers

902 search results - page 46 / 181
» Opening Address
Sort
View
IEEESP
2008
89views more  IEEESP 2008»
13 years 8 months ago
Virtual Machine Introspection: Observation or Interference?
hardware, eliminating an abstraction layer and often improving efficiency as a result. Examples of type 1 systems include VMware ESX,3 Xen (www. xensource.com/xen/xen/nfamily/virtu...
Kara L. Nance, Matt Bishop, Brian Hay
BMCBI
2008
100views more  BMCBI 2008»
13 years 8 months ago
PatternLab for proteomics: a tool for differential shotgun proteomics
Background: A goal of proteomics is to distinguish between states of a biological system by identifying protein expression differences. Liu et al. demonstrated a method to perform...
Paulo C. Carvalho, Juliana S. G. Fischer, Emily I....
ICTAI
2005
IEEE
14 years 2 months ago
Good Learning and Implicit Model Enumeration
A large number of practical applications rely on effective algorithms for propositional model enumeration and counting. Examples include knowledge compilation, model checking and ...
António Morgado, João P. Marques Sil...
COMPSAC
2008
IEEE
14 years 3 months ago
How to Enhance UDDI with Dependability Capabilities
How dependability is to be assessed and ensured during Web Service operation and how unbiased and trusted mechanisms supporting this are to be developed are still open issues. Thi...
Anatoliy Gorbenko, Alexander Romanovsky, Vyachesla...
ICDE
2010
IEEE
213views Database» more  ICDE 2010»
14 years 3 hour ago
TargetSearch: A Ranking Friendly XML Keyword Search Engine
Abstract-- This demo illustrates an XML search engine TargetSearch that addresses an open problem in XML keyword search: given relevant matches to keywords, how to compose query re...
Ziyang Liu, Yichuan Cai, Yi Chen