252 search results - page 38 / 51 » Safety Evaluation of NanoFabrics |
SAS
2004
Springer
14 years 2 months ago
2004
Springer
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
ICECCS
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper presents the Architecture Tradeoff Analysis Method (ATAM), a structured technique for understanding the tradeoffs inherent in design. This method was developed to provi...
SP
2010
IEEE
14 years 26 days ago
2010
IEEE
Abstract—Modern automobiles are no longer mere mechanical devices; they are pervasively monitored and controlled by dozens of digital computers coordinated via internal vehicular...
ECCV
2006
Springer
14 years 19 days ago
2006
Springer
Abstract. This paper presents an endoscopic vision framework for modelbased 3D guidance of surgical instruments used in robotized laparoscopic surgery. In order to develop such a s...
APSCC
2008
IEEE
13 years 11 months ago
2008
IEEE
A vehicular ad-hoc network (VANET) is a network of intelligent vehicles that communicate with other vehicles in the network. The main objective of VANET is to provide comfort and ...