Sciweavers

1737 search results - page 146 / 348
» Hardware Support for Secure Processing in Embedded Systems
Sort
View
EWCBR
2000
Springer
15 years 8 months ago
Active Delivery for Lessons Learned Systems
Lessons learned processes, and software systems that support them, have been developed by many organizations (e.g., all USA military branches, NASA, several Department of Energy or...
Rosina Weber, David W. Aha, Héctor Mu&ntild...
ECBS
1999
IEEE
92views Hardware» more  ECBS 1999»
15 years 8 months ago
A Seed for a STEP Application Protocol for Systems Engineering
An information model supporting core systems engineering design data is presented. The model provides, in conjunction with STEP (ISO 10303) framework services, an infrastructure t...
Erik Herzog, Anders Törne
RE
2010
Springer
14 years 11 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
ECRTS
2003
IEEE
15 years 9 months ago
Resource Sharing in an Enhanced Rate-Based Execution Model
A theory of resource sharing in a mixed system with hard real-time and non-real-time processing requirements is presented. The real-time processing is modeled as rate-based execut...
Xin Liu, Steve Goddard
ISSS
2000
IEEE
155views Hardware» more  ISSS 2000»
15 years 8 months ago
Intervals in Software Execution Cost Analysis
Timing and power consumption of embedded systems are state and input data dependent. Formal analysis of such dependencies leads to intervals rather than single values. These inter...
Fabian Wolf, Rolf Ernst