Sciweavers

2875 search results - page 237 / 575
» Using separation of concerns for embedded systems design
Sort
View
TCS
2010
15 years 5 months ago
Arrows for secure information flow
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
Peng Li, Steve Zdancewic
HICSS
2003
IEEE
102views Biometrics» more  HICSS 2003»
15 years 12 months ago
Deferred Systems Software Model for Semantic Information Sharing in Context on the Web
This research reports on the deferred system software model to inform semantic and contextual information sharing in Web applications. Contextual information sharing requires soft...
Nandish V. Patel
DRMTICS
2005
Springer
16 years 5 days ago
A Vector Approach to Cryptography Implementation
The current deployment of Digital Right Management (DRM) schemes to distribute protected contents and rights is leading the way to massive use of sophisticated embedded cryptograph...
Jacques J. A. Fournier, Simon W. Moore
LCTRTS
2000
Springer
15 years 10 months ago
Reordering Memory Bus Transactions for Reduced Power Consumption
Low energy consumption is becoming the primary design consideration for battery-operated and portable embedded systems, such as personal digital assistants, digital still and movi...
Bruce R. Childers, Tarun Nakra
SIGCSE
2012
ACM
284views Education» more  SIGCSE 2012»
14 years 2 months ago
Teaching operating systems using android
The computing landscape is shifting towards mobile devices. To learn about operating systems, it is increasingly important for students to gain hands-on kernel programming experie...
Jeremy Andrus, Jason Nieh