7289 search results - page 298 / 1458 » A Dependent Set Theory |
179
click to vote
CPP
2011
14 years 6 months ago
2011
Abstract. Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dep...
180
click to vote
ENTCS
2002
15 years 6 months ago
2002
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
165
click to vote
IEE
2002
2002
Open source software projects as virtual organisations: competency rallying for software development
15 years 6 months ago
: This paper contributes to the identification and testing of factors important for the success of open source software (OSS) projects. We present an analysis of OSS communities as...
148
click to vote
FLAIRS
2006
15 years 8 months ago
2006
This paper studies the role of dependency information for the task of textual entailment. Both the Text and Hypothesis of an entailment pair are mapped into sets of dependencies a...
144
click to vote
USENIX
2008
15 years 9 months ago
2008
We present a novel method for diagnosing configuration management errors. Our proposed approach deduces the state of a buggy computer by running predicates that test system correc...