Sciweavers

2533 search results - page 277 / 507
» Supporting Generalized Context Interactions
Sort
View
ICSE
2008
IEEE-ACM
16 years 6 months ago
Jigsaw: a tool for the small-scale reuse of source code
Developers perform small-scale reuse tasks to save time and to increase the quality of their code. Due to the small scale of such tasks, the overhead in reusing source code can qu...
Jörg Denzinger, Robert J. Walker, Rylan Cottr...
MOBISYS
2007
ACM
16 years 6 months ago
Context-aware access to public shared devices
To allow for an efficient usage of a device in pervasive computing environments, reliable and yet convenient user access is an important requirement. The problem becomes more comp...
David Jea, Ian Yap, Mani B. Srivastava
CSFW
2009
IEEE
16 years 1 months ago
Securing Timeout Instructions in Web Applications
Timeout mechanisms are a useful feature for web applications. However, these mechanisms need to be used with care because, if used as-is, they are vulnerable to timing attacks. Th...
Alejandro Russo, Andrei Sabelfeld
ICALT
2009
IEEE
16 years 1 months ago
A Graphical Modeling Language for Computer-Based Learning Scenarios
A crucial challenge for improving EMLs is to provide an intuitive notation to support educational practitioners to not only understand, but also describe a large number of flexibl...
Anne Lejeune, Muriel Ney, Armin Weinberger, Margus...
TPHOL
2008
IEEE
16 years 27 days ago
First-Class Type Classes
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
Matthieu Sozeau, Nicolas Oury