3229 search results - page 87 / 646 » Theories with the Independence Property |
139
click to vote
PODC
2005
ACM
15 years 12 months ago
2005
ACM
In recent software transactional memory proposals, a contention manager module is responsible for ensuring that the system as a whole makes progress. A number of contention manage...
131
click to vote
ICDT
1990
ACM
15 years 10 months ago
1990
ACM
Ordinary logical implication is not enough for answering queries in a logic database, since especially negative information is only implicitly represented in the database state. M...
168
click to vote
CISS
2008
IEEE
16 years 23 days ago
2008
IEEE
—A general framework is developed for networks with flows that use all available congestion signals to regulate their rates. It is conceptually a generalization of the existing ...
174
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...
248
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
Future software development will rely on product synthesis, i.e., the synthesis of code and non-code artifacts for a target component or application. Prior work on feature-based p...