4799 search results - page 320 / 960 » Model Based Requirements Engineering for Embedded Software |
170
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
Design tools can be profitably associated with libraries of reusable modeling components that will make the description and also the validation of the models much easier. Furtherm...
170
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
Retrenchment is a framework that allows relatively unrestricted system evolution steps to be described in a way that gives an evolution step some formal content — unlike model b...
186
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper builds a bridge between permissions and ownership types. Ownership is a recognized alias control technique. With ownership, each object is assigned an owner and any acc...
158
click to vote
ASWEC
2007
IEEE
15 years 10 months ago
2007
IEEE
There is a growing demand for web applications to provide fair service to the highly concurrent requests. In this paper, we present an approach to addressing this requirement. Bas...
174
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
Interest in synthesis of Application Specific Instruction Set Processors or ASIPs has increased considerably and a number of methodologies have been proposed for ASIP design. A ke...