6167 search results - page 187 / 1234 » Can Refinement be Automated |
143
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—A growing number of people use social networking sites to foster social relationships among each other. While the advantages of the provided services are obvious, drawbacks on a...
134
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
Distributed infrastructures are becoming more and more diverse in nature. An application may often need to be redeployed in various scenarios. Ideally, given an application design...
144
click to vote
CODES
2005
IEEE
15 years 10 months ago
2005
IEEE
Biochips based on digital microfluidics offer a powerful platform for massively parallel biochemical analysis such as clinical diagnosis and DNA sequencing. Current full-custom de...
137
click to vote
ENGL
2008
15 years 5 months ago
2008
Strong competition on the global automotive market is forcing car manufacturers rethink their strategic approach to manufacturing. In order to be competitive, companies need to man...
130
click to vote
HF
2002
15 years 4 months ago
2002
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...