2523 search results - page 435 / 505 » Correct Development of Embedded Systems |
ECAL
2001
Springer
14 years 1 months ago
2001
Springer
Some benefits of a dialogue between evolutionary robotics and developmental ethology are presented with discussion of how developmental models might inform approaches to evolution...
KIC
2000
13 years 10 months ago
2000
Designers, in the process of satisfying design requirements, generally encounter difficulties in, firstly, understanding the problem and secondly, finding a solution [Cross 1998]....
VTC
2007
IEEE
14 years 3 months ago
2007
IEEE
— A very promising way to achieve high spectral efficiency in wireless communication is the use of multiple transmit and receive antennas. However, in combination with multicarr...
POPL
2000
ACM
14 years 1 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
SIGMOD
2010
ACM
14 years 25 days ago
2010
ACM
Microsoft StreamInsight (StreamInsight, for brevity) is a platform for developing and deploying streaming applications. StreamInsight adopts a deterministic stream model that leve...