3914 search results - page 214 / 783 » Automating SLA modeling |
CAGD
2008
13 years 8 months ago
2008
In the present paper we give account of an effort that aimed at the unification of the whole geometric preprocessing that preceded the wind tunnel readings with a realistic airpla...
PRL
2006
13 years 8 months ago
2006
We describe the physical-optics modelling of a millimetre-wave imaging system intended to enable automated detection of threats hidden under clothes. This paper outlines the theor...
ANOR
2002
13 years 8 months ago
2002
Abstract. The generic hoist scheduling problem is NP-hard and arises from automated manufacturing lines. In recent work using the constraint logic programming (CLP) formalism, a un...
SIGSOFT
2008
ACM
13 years 6 months ago
2008
ACM
Software development processes can be represented as objects because they and the elements that compose them have attributes and operations, can be linked by relationships and hav...
ASPDAC
2010
ACM
13 years 6 months ago
2010
ACM
Managing long verification error traces is one of the key challenges of automated debugging engines. Today, debuggers rely on the iterative logic array to model sequential behavior...