2608 search results - page 405 / 522 » Subjects, Models, Languages, Transformations |
168
click to vote
OOPSLA
2007
Springer
16 years 8 days ago
2007
Springer
Programming distributed data-intensive web and mobile applications is gratuitously hard. As the world is moving more and more towards the software as services model, we have to co...
130
click to vote
ITICSE
2006
ACM
16 years 3 days ago
2006
ACM
Teaching computer science to children is a major priority in most countries in the world. Nevertheless, Computer Science curricula do not seem to address the children’s world, c...
147
Voted
MSR
2006
ACM
16 years 3 days ago
2006
ACM
In the current trend of software engineering, software systems are viewed as clusters of overlapping structures representing various concerns, covering heterogeneous artifacts lik...
150
click to vote
SIGIR
2005
ACM
15 years 11 months ago
2005
ACM
We study the problem of offering publish/subscribe functionality on top of structured overlay networks using data models and languages from IR. We show how to achieve this by ext...
190
click to vote
CCS
2005
ACM
15 years 11 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...