Sciweavers

601 search results - page 16 / 121
» Argumentation support: from technologies to tools
Sort
View
DAWAK
2007
Springer
15 years 6 months ago
OLAP Technology for Business Process Intelligence: Challenges and Solutions
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...
Svetlana Mansmann, Thomas Neumuth, Marc H. Scholl
CADE
2010
Springer
15 years 26 days ago
Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion
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...
Markus Aderhold
CHI
2008
ACM
16 years 4 days ago
Keeping in touch by technology: maintaining friendships after a residential move
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...
Irina Shklovski, Robert E. Kraut, Jonathon N. Cumm...
ECBS
2005
IEEE
126views Hardware» more  ECBS 2005»
15 years 5 months ago
Toward Introducing Notification Technology into Distributed Project Teams
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...
Jamie L. Smith, Shawn A. Bohner, D. Scott McCricka...
ICEIS
2009
IEEE
14 years 9 months ago
A Model-Based Tool for Conceptual Modeling and Domain Ontology Engineering in OntoUML
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...
Alessander Botti Benevides, Giancarlo Guizzardi