29172 search results - page 165 / 5835 » Modeling Systems in CLP |
CAISE
2006
Springer
14 years 2 months ago
2006
Springer
Enterprise Systems potentially lead to significant efficiency gains but require a well-conducted configuration process. A promising idea to manage and simplify the configuration pr...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
IRI
2008
IEEE
14 years 4 months ago
2008
IEEE
Question Answering Systems (QAS) are receiving increasing attention from information systems researchers, particularly those in the information retrieval and natural language proc...
AOSE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...
COMPSAC
2002
IEEE
14 years 3 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...