601 search results - page 16 / 121 » Argumentation support: from technologies to tools |
DAWAK
2007
Springer
15 years 6 months ago
2007
Springer
The emerging area of business process intelligence aims at enhancing the analysis power of business process management systems by employing data warehousing and mining technologies...
109
click to vote
CADE
2010
Springer
15 years 26 days ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
CHI
2008
ACM
16 years 4 days ago
2008
ACM
Many observers have praised new communication technologies for providing convenient and affordable tools for maintaining relationships at a distance. Yet the precise role of media...
102
click to vote
ECBS
2005
IEEE
15 years 5 months ago
2005
IEEE
Software development can be thought of as the evolution act requirements into a concrete software system. The evolution, achieved through a successive series of elaborations and r...
ICEIS
2009
IEEE
14 years 9 months ago
2009
IEEE
This paper presents a Model-Based graphical editor for supporting the creation of conceptual models and domain ontologies in a philosophically and cognitively well-founded modeling...