3710 search results - page 509 / 742 » A new calculus of contexts |
196
click to vote
ACMSE
2006
ACM
16 years 18 days ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
169
click to vote
AOSD
2006
ACM
16 years 18 days ago
2006
ACM
In the web services environment software development can involve writing both object-oriented programs and XML transformations. This can be seen in the popular Web Services archit...
157
click to vote
DMSN
2006
ACM
16 years 18 days ago
2006
ACM
This paper presents a novel research direction in the field of sensor data management. It concerns transactional support in heterogeneous large scale sensor systems. Besides well...
175
click to vote
ECLIPSE
2006
ACM
16 years 18 days ago
2006
ACM
Recent research has shown that developers spend significant amounts of time navigating around code. Much of this time is spent on redundant navigations to code that the developer ...
177
click to vote
JCDL
2006
ACM
16 years 18 days ago
2006
ACM
Measurements of the impact and history of research literature provide a useful complement to scientific digital library collections. Bibliometric indicators have been extensively...