2911 search results - page 69 / 583 » A Theory of Expressiveness in Mechanisms |
169
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Coalitional games raise a number of important questions from the point of view of computer science, key among them being how to represent such games compactly, and how to efficien...
146
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Reproduction of facial animation play a fundamental role in applications requiring human-computer interactions The objective of this paper is to introduce a geometric mechanism th...
157
click to vote
AOSD
2008
ACM
15 years 8 months ago
2008
ACM
Several aspect languages and frameworks have recognized the need for dynamic deployment of aspects. However, they do not provide sufficiently expressive means to precisely specify...
171
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
A synchronization is a mechanism allowing two or more processes to perform actions at the same time. We study the expressive power of synchronizations gathering more and more proc...
176
click to vote
FORTE
2010
15 years 7 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...