004 Datenverarbeitung; Informatik
Refine
Has Fulltext
- yes (55)
Year of publication
- 2010 (55) (remove)
Document Type
- Conference Proceeding (25)
- Article (13)
- Monograph/Edited Volume (10)
- Doctoral Thesis (5)
- Postprint (2)
Language
- English (39)
- German (15)
- Multiple languages (1)
Keywords
- middleware (4)
- Aspektorientierte Softwareentwicklung (2)
- Betriebssysteme (2)
- Constraint Solving (2)
- Deduction (2)
- Informationsextraktion (2)
- Logic Programming (2)
- Logics (2)
- Middleware (2)
- Optimization (2)
- Planing (2)
- Systemsoftware (2)
- Virtuelle Maschinen (2)
- operating systems (2)
- systems software (2)
- virtual machines (2)
- 3D city models (1)
- 3D geovisualisation (1)
- 3D-Geovisualisierung (1)
- 3D-Stadtmodelle (1)
- Asynchrone Schaltung (1)
- Asynchronous circuit (1)
- Ausbildung (1)
- Business Process Models (1)
- CSC (1)
- Coccinelle (1)
- Compliance (1)
- Computer Networks (1)
- Computernetzwerke (1)
- Controller-Resynthese (1)
- Crime mapping (1)
- Datenanalyse (1)
- Datenintegration (1)
- Didaktik (1)
- Dienstkomposition (1)
- Dienstplattform (1)
- Dynamic Type System (1)
- Dynamische Typ Systeme (1)
- Enterprise Search (1)
- Exploration (1)
- Fehlersuche (1)
- Forschungskolleg (1)
- GIS (1)
- Geschäftsprozessmodelle (1)
- Grammatikalische Inferenz (1)
- Graph-basiertes Ranking (1)
- Hasso Plattner Institute (1)
- Hasso-Plattner-Institut (1)
- Herodotos (1)
- High-Level Synthesis (1)
- History of pattern occurrences (1)
- Hochschuldidaktik (1)
- IPv4 (1)
- IPv6 (1)
- Informatik (1)
- Information Extraction (1)
- Infrastructure (1)
- Infrastruktur (1)
- Internet (1)
- Internet Protocol (1)
- Klausurtagung (1)
- Konferenz (1)
- Laufzeitanalyse (1)
- Linked Data (1)
- Metadatenentdeckung (1)
- Metadatenqualität (1)
- Multiprocessor (1)
- Multiprozessor (1)
- Muster (1)
- Musterabgleich (1)
- Network Politics (1)
- Netzpolitik (1)
- Next Generation Network (1)
- Object-Oriented Programming (1)
- Objekt-Orientiertes Programmieren (1)
- Parallel Programming (1)
- Parallele Datenverarbeitung (1)
- Parallelrechner (1)
- Pattern Matching (1)
- Patterns (1)
- Petrinetz (1)
- Ph.D. Retreat (1)
- Policy Enforcement (1)
- Programmierung (1)
- Prolog (1)
- Reconfigurable (1)
- Research School (1)
- SOA (1)
- STG decomposition (1)
- STG-Dekomposition (1)
- Schemaentdeckung (1)
- Service Creation (1)
- Service Delivery Platform (1)
- Service Provider (1)
- Service convergence (1)
- Service-oriented Systems Engineering (1)
- Signalflankengraph (SFG oder STG) (1)
- Smalltalk (1)
- Synthese (1)
- Telekommunikation (1)
- Temporal Logic (1)
- Temporallogik (1)
- VIL (1)
- Verletzung Auflösung (1)
- Verletzung Erklärung (1)
- Violation Explanation (1)
- Violation Resolution (1)
- Web-Anwendungen (1)
- Wikipedia (1)
- XM (1)
- aspect adapter (1)
- aspect oriented programming (1)
- aspect-oriented (1)
- aspects (1)
- aspectualization (1)
- bottom–up (1)
- bug tracking (1)
- built–in predicates (1)
- concurrency (1)
- conference (1)
- consistency (1)
- control resynthesis (1)
- crosscutting wrappers (1)
- data integration (1)
- data profiling (1)
- debugging (1)
- deductive databases (1)
- didactics (1)
- differential gene expression (1)
- distributed systems (1)
- dynamic reconfiguration (1)
- education (1)
- enterprise search (1)
- evolving systems (1)
- extensions of logic programs (1)
- forward / backward chaining (1)
- function symbols (1)
- gene expression matrix (1)
- generalized logic programs (1)
- geovirtual environments (1)
- geovirtuelle Umgebungen (1)
- grammar inference (1)
- graph-based ranking (1)
- heterogeneous tissue (1)
- higher education (1)
- homogeneous cell population (1)
- informatics (1)
- information extraction (1)
- invasive aspects (1)
- knowledge representation (1)
- konvergente Dienste (1)
- metadata discovery (1)
- metadata quality (1)
- microdissection (1)
- multi core data processing (1)
- multi-valued logic (1)
- paraconsistency (1)
- petri net (1)
- profiling (1)
- program analysis (1)
- programming (1)
- programming language (1)
- quantile normalization (1)
- raumbezogene Straftatenanalyse (1)
- reflection (1)
- rekonfigurierbar (1)
- reusable aspects (1)
- schema discovery (1)
- security policies (1)
- selection (1)
- semantic web services (1)
- semantics (1)
- service mediation (1)
- service-oriented (1)
- signal transition graph (1)
- smalltalk (1)
- speed independent (1)
- stratification (1)
- top– down (1)
- tuple spaces (1)
- views (1)
- web services (1)
- web-applications (1)
Component based software development (CBSD) and aspectoriented software development (AOSD) are two complementary approaches. However, existing proposals for integrating aspects into component models are direct transposition of object-oriented AOSD techniques to components. In this article, we propose a new approach based on views. Our proposal introduces crosscutting components quite naturally and can be integrated into different component models.
Die Studienanfänger der Informatik haben in Deutschland sehr unterschiedliche Grundkenntnisse in der Programmierung. Dies führt immer wieder zu Schwierigkeiten in der Ausrichtung der Einführungsveranstaltungen. An der TU München wird seit dem Wintersemester 2008/2009 nun eine neue Art von Vorkursen angeboten. In nur 2,5 Tagen erstellen die Teilnehmer ein kleines objektorientiertes Programm. Dabei arbeiten sie weitestgehend alleine, unterstützt von einem studentischen Tutor. In dieser Arbeit sollen nun das Konzept der sogenannten „Vorprojekte“ sowie erste Forschungsansätze vorgestellt werden
Was ist eine kreative Leistung von Studierenden? Dies ist die Ausgangsfrage, wenn Lehre kreativitätsförderlicher als bislang gestaltet werden soll. In diesem Beitrag wird ein Modell zur Förderung von Kreativität in der Hochschullehre vorgestellt und mit einem Beispiel verdeutlicht. Es wird die veränderte Konzeption der Vorlesung Informatik & Gesellschaft illustriert: Studierende hatten die Aufgabe, eine „e-Infrastruktur für die Universität NeuDoBoDu“ zu entwickeln. Hierzu werden die Ergebnisse der Evaluation und Erfahrungen erläutert.
In this talk, I would like to share my experiences gained from participating in four CSP solver competitions and the second ASP solver competition. In particular, I’ll talk about how various programming techniques can make huge differences in solving some of the benchmark problems used in the competitions. These techniques include global constraints, table constraints, and problem-specific propagators and labeling strategies for selecting variables and values. I’ll present these techniques with experimental results from B-Prolog and other CLP(FD) systems.
We introduce a simple approach extending the input language of Answer Set Programming (ASP) systems by multi-valued propositions. Our approach is implemented as a (prototypical) preprocessor translating logic programs with multi-valued propositions into logic programs with Boolean propositions only. Our translation is modular and heavily benefits from the expressive input language of ASP. The resulting approach, along with its implementation, allows for solving interesting constraint satisfaction problems in ASP, showing a good performance.