Sciweavers

446 search results - page 56 / 90
» Formal concept analysis based on hierarchical class analysis
Sort
View
PODS
2005
ACM
136views Database» more  PODS 2005»
15 years 10 months ago
Context-sensitive program analysis as database queries
Program analysis has been increasingly used in software engineering tasks such as auditing programs for security vulnerabilities and finding errors in general. Such tools often re...
Monica S. Lam, John Whaley, V. Benjamin Livshits, ...
TON
2008
103views more  TON 2008»
14 years 10 months ago
Fixed point analysis of single cell IEEE 802.11e WLANs: uniqueness and multistability
We consider the vector fixed point equations arising out of the analysis of the saturation throughput of a single cell IEEE 802.11e (EDCA) wireless local area network with nodes th...
Venkatesh Ramaiyan, Anurag Kumar, Eitan Altman
JCDL
2003
ACM
112views Education» more  JCDL 2003»
15 years 3 months ago
Protein Association Discovery in Biomedical Literature
Protein association discovery can directly contribute toward developing protein pathways; hence it is a significant problem in bioinformatics. LUCAS (Library of User-Oriented Conc...
Yueyu Fu, Javed Mostafa, Kazuhiro Seki
WWW
2004
ACM
15 years 11 months ago
Analysis of interacting BPEL web services
This paper presents a set of tools and techniques for analyzing interactions of composite web services which are specified in BPEL and communicate through asynchronous XML message...
Xiang Fu, Tevfik Bultan, Jianwen Su
DEXAW
2000
IEEE
76views Database» more  DEXAW 2000»
15 years 3 months ago
A Semantical Twist to Syntactical Navigation
Given their simple nature, the success of keyword based retrieval systems is astonishing. Although these methods seemingly only process words (and their word counts), they rely on...
F. Grootjen