16968 search results - page 3269 / 3394 » Software Engineering in the Small |
162
click to vote
SKG
2006
IEEE
15 years 11 months ago
2006
IEEE
With the rapid evolution of web technology and Internet, the mathematical web has emerged as a new research trend, which changes the traditional manner of mathematical scientific ...
147
click to vote
MM
2006
ACM
15 years 11 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 ...
142
click to vote
PLDI
2006
ACM
15 years 11 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...
158
click to vote
SAC
2006
ACM
15 years 11 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...
132
click to vote
UIST
2006
ACM
15 years 11 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...