713 search results - page 101 / 143 » Reasoning with Projected Contours |
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
Constructing interdisciplinary knowledge requires knowledge sharing between researchers studying the same object from different disciplinary angles. Such sharing is particularly d...
ICSM
2007
IEEE
14 years 3 months ago
2007
IEEE
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...
WETICE
2006
IEEE
14 years 2 months ago
2006
IEEE
By separating the process logic from the application code process management systems (PMS) offer promising perspectives for automation and management of business processes. Howeve...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
While several research projects have been proposed to use software agents to deal with information overload, their results are not applicable in the existing Web infrastructure ma...
ICLP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...