Sciweavers

3689 search results - page 17 / 738
» A Language with Distributed Scope
Sort
View
ISSTA
2012
ACM
12 years 8 days ago
Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Je...
PLDI
2011
ACM
13 years 20 days ago
Languages as libraries
Programming language design benefits from constructs for extending the syntax and semantics of a host language. While C’s stringbased macros empower programmers to introduce no...
Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpep...
CIKM
2009
Springer
14 years 4 months ago
The effect of negation on sentiment analysis and retrieval effectiveness
We investigate the problem of determining the polarity of sentiments when one or more occurrences of a negation term such as “not” appear in a sentence. The concept of the sco...
Lifeng Jia, Clement T. Yu, Weiyi Meng
JCP
2006
102views more  JCP 2006»
13 years 9 months ago
General Methodology for Analysis and Modeling of Trust Relationships in Distributed Computing
In this paper, we discuss a general methodology for analysis and modeling of trust relationships in distributed computing. We discuss the classification of trust relationships, cat...
Weiliang Zhao, Vijay Varadharajan, George Bryan
RTSS
1989
IEEE
14 years 1 months ago
A Distributed Fault Tolerant Architecture for Nuclear Reactor Control and Safety Functions
A new fault tolerant architecture that provides tolerance to a broad scope of hardware, software, and communications faults is being developed. This architecture relies on widely ...
Myron Hecht, J. Agron, S. Hochhauser