1727 search results - page 131 / 346 » An Integrated Approach to Manufacturing Process Design and C... |
142
click to vote
ICALT
2009
IEEE
15 years 11 months ago
2009
IEEE
Scientific practices increasingly incorporate sensors for data capture, information visualization for data analysis, and low-cost mobile devices for fieldbased inquiries incorpora...
151
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
125
click to vote
ICIP
2003
IEEE
16 years 6 months ago
2003
IEEE
The use of airbags into automobiles has significantly improved the safety of the occupants. Unfortunately, when airbags are deployed in the case of a crash, they can also cause fa...
142
click to vote
ICDCS
2003
IEEE
15 years 10 months ago
2003
IEEE
We present the design of a distributed store that offers various levels of security guarantees while tolerating a limited number of nodes that are compromised by an adversary. The...
170
click to vote
ECLIPSE
2005
ACM
15 years 6 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...