4151 search results - page 29 / 831 » Language Driven System Design |
CC
2001
Springer
15 years 2 months ago
2001
Springer
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....
ICRA
2006
IEEE
15 years 3 months ago
2006
IEEE
– This paper presents the motion analysis, design and position control of a novel, low cost, sliding micro-robot, which is actuated by centripetal forces generated by robot mount...
ICECCS
2007
IEEE
15 years 1 months ago
2007
IEEE
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
DGO
2003
14 years 11 months ago
2003
When looking for federal statistics, finding the right table, chart or report can be a daunting task for anyone not thoroughly familiar with the federal statistical system. Search...
ICEBE
2007
IEEE
14 years 9 months ago
2007
IEEE
- E-services are used as the cornerstones for modeling interaction points of cooperating IT systems, within and between enterprises. So far, research and development of e-services ...