1413 search results - page 242 / 283 » Bisimilarity of Open Terms |
147
click to vote
ITICSE
2006
ACM
16 years 9 days ago
2006
ACM
When you sit in a Computer Science lecture at any university in the western world, what are the chances that the person sitting next to you will be a woman? Furthermore, what are ...
179
click to vote
MM
2006
ACM
16 years 9 days ago
2006
ACM
We present “equiveillance” as a conceptual framework for understanding the balance between surveillance and sousveillance. In addition to this conceptual framework we also pre...
180
click to vote
MSR
2006
ACM
16 years 9 days ago
2006
ACM
When analyzing the evolution history of a software project, we wish to develop results that generalize across projects. One approach is to analyze design patterns, permitting char...
171
click to vote
MSR
2006
ACM
16 years 9 days ago
2006
ACM
With the success of libre (free, open source) software, a new type of software compilation has become increasingly common. Such compilations, often referred to as ‘distributions...
173
click to vote
PLDI
2006
ACM
16 years 9 days ago
2006
ACM
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) ...