Informatik (15 755 Artikel)

Requirements engineering has since long acknowledged the importance of the notion that system requirements are stakeholder goals--rather than system functions--and ought to be elicited, modeled and...

This volume contains the papers presented at NLDB 2009, the 14th Inter- tional Conference on Applications of Natural Language to Information Systems held June 24-26, 2009, at the University of the ...

The International Gesture Workshops (GW) are interdisciplinary events for those researching gesture-based communication across the disciplines. The focus of these events is a shared interest in und...

Revising the UML Collaborations: A Well-Founded Approach.- Client Synthesis for Aspect Oriented Web Services.- Formal Reasoning about Software Object Translations.- Software Engineering Techniques ...

Agile software development has become an umbrella term for a number of changes in how software developers plan and coordinate their work, how they communicate with customers and external stakeholde...

Towards Scalable Partial Evaluation of Declarative Programs.- Deciding Full Branching Time Logic by Program Transformation.- A Transformational Approach for Proving Properties of the CHR Constraint...

This book constitutes the thoroughly refereed post-conference proceedings of the First International Conference, UCMedia 2009, which was held on 9-11 December 2009 at Hotel Novotel Venezia Mestre C...

Signatures.- A New RSA-Based Signature Scheme.- Fair Blind Signatures without Random Oracles.- Fair Partially Blind Signatures.- Attacks.- Parallel Shortest Lattice Vector Enumeration on Graphics C...

This volume contains the papers presented at RECOMB 2010: the 14th Annual International Conference on Research in Computational Molecular Biology held in Lisbon, Portugal, during April 25-28, 2010....

Theoretical Foundations of Image Analysis and Processing.- Generalized Perpendicular Bisector and Circumcenter.- Digital Stars and Visibility of Digital Objects.- ?-Arithmetization of Ellipses.- Co...

Practical Reasoning and Argument about Action.- Burden of Proof in Deliberation Dialogs.- A Generative Dialogue System for Arguing about Plans in Situation Calculus.- Dominant Decisions by Argument...

Legal Text Processing and Information Extraction.- Legal Language and Legal Knowledge Management Applications.- Named Entity Recognition and Resolution in Legal Text.- Using Linguistic Information ...

Invited Talks.- Digital Curation and Digital Cultural Memory.- RoboCup: A Challenge Problem for Artificial Intelligence.- Robots, Natural Language, Social Networks, and Art.- Artificial Life Simula...

Über 50 Rahmenwerke für das IT-Management

Der SAP-Einsatz ist niemals eine reine IT-Aufgabe, sondern immer eine unternehmensweite Herausforderung, die alle Organisationseinheiten betrifft. Es gibt drei kritische Erfolgsfaktoren: Menschen, ...