2493 search results - page 272 / 499 » Tool Support for Design by Contract |
77
Voted
RAS
2010
14 years 9 months ago
2010
This paper presents a development methodology for complex robotic systems using the behavior-based control architecture iB2C (integrated Behavior-Based Control). It is shown how a...
ICCAD
1996
IEEE
15 years 3 months ago
1996
IEEE
Functional simulation is the most widely used method for design verification. At various levels of abstraction, e.g., behavioral, register-transfer level and gate level, the design...
80
Voted
ESCIENCE
2007
IEEE
15 years 5 months ago
2007
IEEE
The electronics design industry is facing major challenges as transistors continue to decrease in size. The next generation of devices will be so small that the position of indivi...
85
Voted
CHI
2007
ACM
15 years 11 months ago
2007
ACM
Software developers are rooted in the written form of their code, yet they often draw diagrams representing their code. Unfortunately, we still know little about how and why they ...
94
Voted
AIED
2005
Springer
15 years 4 months ago
2005
Springer
Interactive drama is increasingly being used as a pedagogical tool in a wide variety of computer-based learning environments. However, the effort required to build interactive dram...