4799 search results - page 753 / 960 » Model Based Requirements Engineering for Embedded Software |
161
click to vote
ISMIS
2003
Springer
15 years 11 months ago
2003
Springer
As broadband access to the Internet becomes pervasive, the need for a 24 hours a day, seven days a week (24x7) interface within the client devices, requires a level of sophisticati...
184
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
We show how and why using genetic operators that are applied with probabilities that depend on the fitness rank of a genotype or phenotype offers a robust alternative to the Sim...
187
click to vote
JOT
2008
15 years 6 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
176
click to vote
CODES
1999
IEEE
15 years 10 months ago
1999
IEEE
o much higher levels of abstraction than today's design practices, which are usually at the level of synthesizable RTL for custom hardware or Instruction Set Simulator (ISS) f...
194
click to vote
CONCURRENCY
2002
15 years 6 months ago
2002
Practical applications are generally interdisciplinary in nature. The technology is well matured for addressing individual discipline applications and not for interdisciplinary ap...