2266 search results - page 261 / 454 » A generic component model for building systems software |
182
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
o much higher levels of abstraction than today's design practices, which are usually at the level of synthesizable RTL for custom hardware or Instruction Set Simulator (ISS) f...
160
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
- Estimation tools are a key component of system-level methodologies, enabling a fast design space exploration. Estimation of software performance is essential in current software-...
176
click to vote
VLDB
2004
ACM
2004
ACM
A Multi-Purpose Implementation of Mandatory Access Control in Relational Database Management Systems
15 years 12 months ago
Mandatory Access Control (MAC) implementations in Relational Database Management Systems (RDBMS) have focused solely on Multilevel Security (MLS). MLS has posed a number of challe...
171
click to vote
WMCSA
2002
IEEE
15 years 11 months ago
2002
IEEE
Based on five design principles extracted from a survey of location systems, we present the Location Stack, a layered software engineering model for location in ubiquitous comput...
221
click to vote
SDL
2007
15 years 8 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...