1120 search results - page 46 / 224 » Making computer science minority-friendly |
SOFSEM
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The first part of this paper presents a new approach for automatically proving nontermination of string rewrite systems. We encode rewrite sequences as propositional for...
SOFSEM
2009
Springer
15 years 8 months ago
2009
Springer
We develop a game semantics for process algebra with two interacting agents. The purpose of our semantics is to make manifest the role of knowledge and information flow in the int...
107
click to vote
SOFSEM
2009
Springer
15 years 8 months ago
2009
Springer
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...
101
click to vote
CSE
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Vocabulary alignment is a main challenge in distributed access control as peers should understand each other’s policies unambiguously. Ontologies enable mutual underst...
CSE
2009
IEEE
15 years 6 months ago
2009
IEEE
—Location-based Social Networks (LSNs) allow users to see where their friends are, to search location-tagged content within their social graph, and to meet others nearby. The rec...