1199 search results - page 206 / 240 » Software Verification and Software Engineering a Practitione... |
180
click to vote
TASE
2010
IEEE
15 years 21 days ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
191
click to vote
TASE
2010
IEEE
15 years 21 days ago
2010
IEEE
Abstract--With the availability of powerful computational and communication systems, scientists now readily access large, complicated derived datasets and build on those results to...
188
click to vote
TASE
2011
IEEE
14 years 9 months ago
2011
IEEE
—This paper proposes a general scheduling model that extends job-shop scheduling models to incorporate important features of real manufacturing systems. More precisely, each oper...
193
click to vote
TASE
2011
IEEE
14 years 9 months ago
2011
IEEE
Abstract—A fast offset surface generation approach is presented in this paper to construct intersection-free offset surfaces, which preserve sharp features, from freeform triangu...
191
click to vote
KBSE
2006
IEEE
15 years 12 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...