1141 search results - page 86 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
185
click to vote
HOTI
2008
IEEE
16 years 23 days ago
2008
IEEE
Cell Broadband EngineTM is a multi-core system on a chip and is composed of a general-purpose Power Processing Element (PPE) and eight Synergistic Processing Elements (SPEs). Its ...
170
click to vote
ALIFE
2006
15 years 6 months ago
2006
One of the major challenges in the field of neurally driven evolved autonomous agents is deciphering the neural mechanisms underlying their behavior. Aiming at this goal, we have d...
167
click to vote
ICSR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Refinement concepts, such as procedural and data refinement, are among the most important ideas of software engineering. In this paper, we investigate the idea of design ...
174
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...
153
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...