Sciweavers

1190 search results - page 221 / 238
» The Dwelling as a Place for Work
Sort
View
IASTEDSEA
2004
15 years 7 months ago
Higher-order strategic programming: A road to software assurance
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
Victor L. Winter, Steve Roach, Fares Fraij
IFIP11
2004
122views Business» more  IFIP11 2004»
15 years 7 months ago
Infusing Privacy Norms in DRM - Incentives and Perspectives from Law
: This paper outlines some basic characteristics of digital rights management (DRM) systems, as well as the ways that DRM systems can threaten user privacy. The author asserts that...
Alex Cameron
ISSA
2004
15 years 7 months ago
On Privacy And The Web
Chor et al [3] show that when accessing a single public database, a user is only guaranteed safety from an administrator inferring the user's real intentions (an inference at...
Wesley Brandi
159
Voted
IADIS
2003
15 years 7 months ago
Improving Quality of Education through the Use of Intranet
Higher educational institutions are just like companies forced to adapt to the ever faster changing environment. There are several obstacles in the way of introducing e-learning i...
Jaka Linic, Jurij Jaklic, Mojca Indihar Stemberger
152
Voted
USENIX
2003
15 years 7 months ago
Operating System I/O Speculation: How Two Invocations Are Faster Than One
We present an in-kernel disk prefetcher which uses speculative execution to determine what data an application is likely to require in the near future. By placing our design withi...
Keir Faser, Fay Chang