6527 search results - page 1009 / 1306 » On Typing Information Flow |
176
Voted
CHI
2010
ACM
16 years 2 months ago
2010
ACM
Developers, like all modern knowledge workers, are frequently interrupted and blocked in their tasks. In this paper we present a contextual inquiry into developers’ current stra...
199
Voted
EUROSEC
2010
ACM
16 years 2 months ago
2010
ACM
Fighting global security threats with only a local view is inherently difficult. Internet network operators need to fight global phenomena such as botnets, but they are hampered...
191
Voted
SIGCSE
2010
ACM
16 years 2 months ago
2010
ACM
This paper details the results of an investigation into the compatibility of partnered computer science students. The study involved approximately 290 students at the University o...
137
Voted
TEI
2010
ACM
16 years 2 months ago
2010
ACM
In recent years, a large number of multitouch sensor concepts have been presented. Particularly optical sensors are highly popular due to their versatility. However, especially ca...
207
Voted
CC
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...