16725 search results - page 3246 / 3345 » Engineering Software Correctness |
108
click to vote
MM
2006
ACM
15 years 8 months ago
2006
ACM
Expressing and analysing data dependency in multimedia streams is promising, since content-aware policies at a transport level would benefit from such services. In this paper we ...
109
click to vote
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
117
click to vote
SAC
2006
ACM
15 years 8 months ago
2006
ACM
This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are id...
100
click to vote
UIST
2006
ACM
15 years 8 months ago
2006
ACM
In this paper, we discuss our adaptation of a single-display, single-user commercial application for use in a multi-device, multi-user environment. We wrap Google Earth, a popular...
134
Voted
CODES
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper provides an overview of the Blue Matter application development effort within the Blue Gene project that supports our scientific simulation efforts in the areas of pro...