default search action
it+ti - Informationstechnik und Technische Informatik, Volume 43
Volume 43, Number 1, 2001
- Hans Eveking:
Formale Verifikationsverfahren (Formal Verification). 5-7
- Wolfgang Kunz, Dominik Stoffel:
Äquivalenzvergleich mit strukturellen Methoden (Equivalence Checking using Structural Methods). 8-15 - Michael Payer:
Industrial Experience with Formal Verification (Industrielle Erfahrungen mit Formaler Verifikation). 16-21 - Jörg Bormann, Christoph Spalinger:
Formale Verifikation für Nicht-Formalisten (Formal Verification for Non-Formalists). 22-28 - Tom Bienmüller, Werner Damm, Jochen Klose, Hartmut Wittke:
Formale Analyse und Verifikation von Statemate-Entwürfen (Formal Analysis and Verification of Statemate Designs). 29-34 - Peter Jansen:
Formale Verifikation von Spezifikations-Modellen (Formal Verification of Specification Models). 35-38 - Jürgen Ruf, Thomas Kropf:
Formale Verifikation diskreter Echtzeitsysteme (Formal Verification of Discrete Real-Time Systems). 39-46
- Heinz-Dietrich Wuttke:
Neue Medien in der Lehre (1): Living Pictures - Lernmodule für die Informatikausbildung. 47-48 - Ralf Seepold
:
4. Workshop "Virtual Component Design & Reuse" (VCDR). 49-52
- Rainer Janßen:
übrigens ... Schöne neue Welt?! 53-56
Volume 43, Number 2, 2001
- Christian Müller-Schloer:
Ubiquitous Computing - Der allgegenwärtige Computer. 57-59
- Klaus Jobmann, Andreas Heinrich:
Ubiquitäre Netze - Kommunikationsanforderungen ubiquitärer Endgeräte (Requirements of Devices for Ubiquitous Computing). 60-66 - Volker Bauche:
Eine Java-Plattform für Internet Appliances (A Java Platform for Internet Appliances). 67-73 - Tom Gross, Thomas Koch:
Neue Herausforderungen für die Gestaltung von Benutzungsschnittstellen Mobiler Geräte (New Challenges for the Design of User Interfaces for Mobile Devices). 74-82 - Albrecht Schmidt
Nutzung von Kontext in ubiquitären Informationssystemen (Context-Awareness in Ubiquitous Computing). 83-89 - Andreas Butz, Antonio Krüger
Orts- und richtungsabhängige Informationspräsentation auf Mobilen Geräten (Location and Orientation-Aware Presentation of Information on Mobile Devices). 90-96 - Steve Mann:
Can Humans Being Clerks make Clerks be Human? - Exploring the Fundamental Difference between UbiComp and WearComp (Können Menschen, die sich wie Angestellte benehmen, Angestellte zu menschlichem Verhalten bewegen? Zum fundamentalen Unterschied zwischen UbiComp und WearComp). 97-106
- Reiner Neumann, Ralf Nacke:
Tagungsberichte: Bericht über die Internationale Konferenz "e-Learning" vom 18.-19. Dezember 2000 und den Workshop "e-Learning: Marktplätze für Lernen und Weiterbildung" am 20.12.2000 in Berlin. 107-109 - Franz Freyberger, Jens Hoogen:
Wirklichkeitsnahe Telepräsenz und Teleaktion. 110-114
- Rainer Janßen:
übrigens ... Daten - von der Wiege direkt ins Grab? 115-118
Volume 43, Number 3, 2001
- Michael Weber:
Java. 119-120
- Holger Scherand:
Dirigiert Sun ONE Java? (Drives Sun ONE Java?). 121-124 - Arnd Poetzsch-Heffter:
Javas Sprachentwurf im Spiegel der Anforderungen an mobilen Programmcode (How Java's Language Design Reflects the Requirements of Mobile Code). 125-131 - Stephan Fischer:
Java und verteilte Systeme (Java and distributed Systems). 132-141 - Stephen Schmitt, Wolfgang Rosenstiel:
Java in eingebetteten Systemen (Java in Embedded Systems). 142-150 - Markus Straßer, Kurt Rothermel:
Java als Sprache für mobile Agenten (Java as a Language for Mobile Agents). 151-158 - Michael Philippsen:
Verschiedene Realisierungmöglichkeiten für komplexe Zahlen in Java im Vergleich (Comparison of various approaches to make complex numbers available in Java). 159-165
- Ulrike Lucke, Djamshid Tavangarian:
Wissenswerkstatt für Technische Informatik. 166 - R. Sontag:
Berufsbegleitend lernen: "Informations- und Kommunikationssysteme". 167 - Dieter Monjau:
Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen". 168 - K. Haegele:
E-Learning: Die richtige Strategie entscheidet. 169-172
- Rainer Janßen:
e-Mann und seine Männlichkeitssymbole. 173-176
Volume 43, Number 4, 2001
- Heinz Zemanek:
Claude E. Shannon (1916-2001) (Claude E. Shannon (1916-2001)). 177-183 - Franz Lehner, Freimut Bodendorf, Armin Heinzl:
Teleteaching - Erfahrungen aus einem Wirtschaftsinformatik-Teleseminar der Universitäten Erlangen-Nürnberg, Regensburg und Bayreuth (Teleteaching in Information Systems: Lessons learned from a joint tele-seminar between the universities of Erlangen-Nürnberg, Regensburg and Bayreuth). 184-193 - Peter Marwedel:
Compiler für eingebettete Prozessoren (Compilers for Embedded Processors). 194-199 - Rolf Drechsler
Äquivalenzvergleich digitaler Schaltungen im industriellen Umfeld (Equivalence Checking of Digital Circuits in an Industrial Environment). 200-205 - Stefan M. Petters, Alexander von Bülow:
Laufzeitbestimmung von Realzeitsoftware (Bounding the Execution Time of Software in Realtime Systems). 206-214
- Helmut Bähring, Jörg Keller, Wolfram Schiffmann:
Einsatz von neuen Medien an der FernUniversität Hagen. 215-217 - Ulrike Lucke, Djamshid Tavangarian:
Wissenswerkstatt Rechensysteme. 218-220
- Rainer Janßen:
Geschichtslose Zeiten?! 221-224
Volume 43, Number 5, 2001
- Günter Müller, Michael Kreutzer:
Erst die neue Technologie, danach die Sicherheit! 225-226
- Marit Köhntopp, Andreas Pfitzmann:
Informationelle Selbstbestimmung durch Identitätsmanagement (Informational Self-Determination by Identity Management). 227-235 - Daniela Gerd tom Markotten, Uwe Jendricke:
Identitätsmanagement im E-Commerce (Identity Management in E-Commerce). 236-245 - Mark Borning, Dogan Kesdogan, Otto Spaniol:
Anonymität und Unbeobachtbarkeit im Internet (Anonymity and Untraceability in the Internet). 246-253 - Uwe Baumgarten, Claudia Eckert:
Mobil und trotzdem sicher? (Mobile, but Nevertheless Secure?). 254-263 - Johannes Kaiser:
Integration vertrauter Merkmale als Gestaltungsprinzip für sichere Systeme (Integration of Familiar Characteristics as Design Principle for Secure Systems). 264-269 - Michael Kreutzer, Alf Zugenmaier:
Verbindlichkeit durch netzinterne Sicherheitsdienste (Reaching Accountability by Security Services inside Networks). 270-279
- Silke Seehusen:
Online-Kurse in der Virtuellen Fachhochschule (VFH). 280-281 - Thomas Geßner, Wolfgang Seckel, Göran Herrmann, Reinhard Streiter:
Sonderforschungsbereich 379 "Mikromechanische Sensor- und Aktorarrays". Grundlagenforschung mit Anwendungsbezug auf dem Gebiet der Mikrosystemtechnik an der TU Chemnitz. 282-286
- Rainer Janßen:
übrigens ... arbeiten Sie schon virtuell? 287-290
Volume 43, Number 6, 2001
- Thomas Hopfner, Jürgen Stohr, Wolfram Faul, Georg Färber:
Realzeitanwendungen auf Dual-Prozessor-PC-Architekturen (Real-Time Applications using Dual-Processor PC Architectures). 291-298 - Dirk Thißen, Birgit Vogel-Heuser:
Lernerorientiertes Produktmodell für Web Based Training in den Ingenieurwissenschaften (Learner-Oriented Product Model for Web Based Training in the Engineering Sciences). 299-308 - Frank Heuschen, Klaus Waldschmidt:
Graphbasiertes Modell des Implementierungsraumes gemischt analog/digitaler Systeme (Graph Based Model of the Implementation Space of Mixed Systems). 309-319 - Markus Kühl, Clemens Reichmann, Bernhard Spitzer, Klaus D. Müller-Glaser:
Eine durchgehende Entwurfsumgebung für das Rapid Prototyping von eingebetteten elektronischen Systemen (A Continuous Design Environment for Rapid Prototyping of Embedded Electronic Systems). 320-329
- Heinz Zemanek:
Dieter Kroneberg - ein Nachruf. 330-334
- Rainer Janßen:
Spielen Sie gerne? 335-
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-19 20:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: