Sciweavers

2123 search results - page 180 / 425
» Composition of Cyber-Physical Systems
Sort
View
CSREAESA
2010
15 years 4 months ago
Customizable and Predictable Synchronization in a Component-Based OS
Component-based operating systems enable embedded systems to adapt system policies, mechanisms, and abstractions to the specific workloads and contexts of each system. The scope o...
Gabriel Parmer, Jiguo Song
HICSS
2003
IEEE
160views Biometrics» more  HICSS 2003»
15 years 11 months ago
Digital Documents and Media
People need to find, work with, and put together information. Diverse activities, such as scholarly research, comparison shopping, and entertainment involve collecting and connect...
Michael A. Shepherd
EUROCRYPT
2011
Springer
14 years 10 months ago
Decentralizing Attribute-Based Encryption
We propose a Multi-Authority Attribute-Based Encryption (ABE) system. In our system, any party can become an authority and there is no requirement for any global coordination othe...
Allison B. Lewko, Brent Waters
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
15 years 11 months ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...
VAMOS
2007
Springer
16 years 19 days ago
Layered design approach for context-aware systems
The omnipresent integration of computer technology in everyday applications introduces new opportunities to make software systems aware of the context in which they are used. Such...
Brecht Desmet, Jorge Vallejos, Pascal Costanza, Ro...