Sciweavers

3256 search results - page 274 / 652
» Integrated Environment for Embedded Control Systems Design
Sort
View
TCS
2010
15 years 3 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
DATE
2009
IEEE
114views Hardware» more  DATE 2009»
15 years 11 months ago
Integration of an advanced emergency call subsystem into a car-gateway platform
— Several European research projects in the vehicular area address the enhancement of vehicular safety. In the frame of the Caring Cars project, an on-board car-gateway embedded ...
Natividad Martínez Madrid, Ralf Seepold, A....
PET
2004
Springer
15 years 10 months ago
Protecting User Data in Ubiquitous Computing: Towards Trustworthy Environments
Abstract. In a Ubiquitous Computing environment, sensors are actively collecting data, much of which can be very sensitive. Data will often be streaming at high rates (video and au...
Yitao Duan, John F. Canny
APLAS
2006
ACM
15 years 10 months ago
Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy
Abstract. Class extensions provide a fine-grained mechanism to define incremental modifications to class-based systems when standard subclassing mechanisms are inappropriate. To...
Markus Lumpe
DSD
2010
IEEE
110views Hardware» more  DSD 2010»
15 years 4 months ago
A Predictable Multiprocessor Design Flow for Streaming Applications with Dynamic Behaviour
—The design of new embedded systems is getting more and more complex as more functionality is integrated into these systems. To deal with the design complexity, a predictable des...
Sander Stuijk, Marc Geilen, Twan Basten