573 search results - page 59 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
SECON
2008
IEEE
15 years 4 months ago
2008
IEEE
—In this paper we present a new approach called cue-based networking that uses hints or cues about the physical environment to optimize networked application behavior. We define...
CSB
2005
IEEE
2005
IEEE
BioNavigation: Using Ontologies to Express Meaningful Navigational Queries Over Biological Resources
15 years 3 months ago
Exploiting the complex maze of publicly available Biological resources to implement scientific data collection pipelines poses a multitude of challenges to biologists in accurate...
105
click to vote
RTAS
2010
IEEE
14 years 7 months ago
2010
IEEE
Developing large-scale distributed real-time and embedded (DRE) systems is hard in part due to complex deployment and configuration issues involved in satisfying multiple quality f...
PODS
1999
ACM
15 years 2 months ago
1999
ACM
One of the most important types of query processing in spatial databases and geographic information systems is the spatial join, an operation that selects, from two relations, all...
CCS
2007
ACM
15 years 4 months ago
2007
ACM
We present an efficient protocol for privacy-preserving evaluation of diagnostic programs, represented as binary decision trees or branching programs. The protocol applies a bran...