Sciweavers

467 search results - page 19 / 94
» Partial Behavioural Models for Requirements and Early Design
Sort
View
TC
2008
13 years 8 months ago
Accurate, Pre-RTL Temperature-Aware Design Using a Parameterized, Geometric Thermal Model
Abstract-- Preventing silicon chips from negative, even disastrous thermal hazards has become increasingly challenging these days; considering thermal effects early in the design c...
Wei Huang, Karthik Sankaranarayanan, Kevin Skadron...
RAS
2007
122views more  RAS 2007»
13 years 8 months ago
Developmental learning for autonomous robots
Developmental robotics is concerned with the design of algorithms that promote robot adaptation and learning through qualitative growth of behaviour and increasing levels of compe...
M. H. Lee, Q. Meng, F. Chao
EMSOFT
2001
Springer
14 years 29 days ago
Some Synchronization Issues When Designing Embedded Systems from Components
Abstract This paper is sort of a confession. Issues of synchrony, asynchrony, and synchronization, arise frequently in designing embedded systems from components, like everyone I k...
Albert Benveniste
SIGSOFT
2005
ACM
14 years 9 months ago
Reasoning about confidentiality at requirements engineering time
Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive inf...
Renaud De Landtsheer, Axel van Lamsweerde
IJIEM
2007
78views more  IJIEM 2007»
13 years 8 months ago
Supporting the design of service contracts with interaction models
: A service contract typically specifies the service level, i.e., the quality parameters of the service to be performed. In addition to this static part, there is also the need to ...
Peter Rittgen