2493 search results - page 177 / 499 » Tool Support for Design by Contract |
216
click to vote
DATE
2007
IEEE
16 years 26 days ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
149
click to vote
AC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We describe InterPlay, a simulation engine coordinator that supports cooperation and interaction of multiple simulation and execution tools, thus helping to scale-up the ...
183
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
The automotive electronics industry is experiencing an era of unprecedented growth. Driven by emissions and safety legislation, fuel economy constraints, cost constraints, and cus...
176
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a methodology, an environment and supporting tools to map an application on a wireless sensor network (WSN). While the method is quite general, we use extensively an exa...
170
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
Multimodal interactive systems support multiple interaction techniques such as the synergistic use of speech, gesture and eye gaze tracking. The flexibility they offer results in ...