586 search results - page 105 / 118 » Automated Reasoning on Aspects Interactions |
GIS
2009
ACM
14 years 7 days ago
2009
ACM
Harnessing the potential of today’s ever growing and dynamic geospatial data requires the development of novel visual analysis interfaces, tools and technologies. In this paper,...
AGENTS
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. One of the reasons for attending to agent technology is the evergrowing complexity of information systems and the increasing difficulty to foresee and plan for all potent...
LISA
2008
13 years 10 months ago
2008
Application problem diagnosis in complex enterprise environments is a challenging problem, and contributes significantly to the growth in IT management costs. While application pr...
CLIMA
2004
13 years 9 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
INFSOF
2007
13 years 7 months ago
2007
: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...