4799 search results - page 636 / 960 » Model Based Requirements Engineering for Embedded Software |
172
click to vote
VTS
1997
IEEE
15 years 11 months ago
1997
IEEE
Accumulators based on addition or subtraction can be used as test pattern generators. Some circuits, however, require long test lengths if the parameters of the accumulator are no...
180
click to vote
KES
2007
Springer
16 years 25 days ago
2007
Springer
This paper is based on the idea of integrating the actual cognitive features of novice users at the core of the design process of the software applications in order to significantl...
173
click to vote
FOSSACS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
198
Voted
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
261
click to vote
SIGADA
2007
Springer
16 years 24 days ago
2007
Springer
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...