8083 search results - page 1549 / 1617 » A Formalization of Software Architecture |
105
click to vote
SIMPRA
2011
14 years 5 months ago
2011
—In the Internet of the future, a flexible, dynamic combination of wireless and wired access networks is expected to be a key driver for enlarging the broadband communication se...
107
click to vote
JODI
2010
14 years 5 months ago
2010
: ICE-TheOREM was a project which made several important contributions to the repository domain, promoting deposit by integrating the repository with authoring workflows and enhanc...
EUROSYS
2011
ACM
14 years 2 months ago
2011
ACM
This paper presents Keypad, an auditing file system for theftprone devices, such as laptops and USB sticks. Keypad provides two important properties. First, Keypad supports fine...
PLDI
2011
ACM
14 years 1 months ago
2011
ACM
When dealing with dynamic, untrusted content, such as on the Web, software behavior must be sandboxed, typically through use of a language like JavaScript. However, even for such ...
108
click to vote
DAGSTUHL
2011
13 years 10 months ago
2011
Scientists and engineers are making increasingly use of hp-adaptive discretization methods to compute simulations. While techniques for isocontouring the high-order data generated...