Journal: it - Information Technology

Volume 43, Issue 6

291 -- 298Thomas Hopfner, Jürgen Stohr, Wolfram Faul, Georg Färber. Realzeitanwendungen auf Dual-Prozessor-PC-Architekturen (Real-Time Applications using Dual-Processor PC Architectures)
299 -- 308Dirk 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)
309 -- 319Frank Heuschen, Klaus Waldschmidt. Graphbasiertes Modell des Implementierungsraumes gemischt analog/digitaler Systeme (Graph Based Model of the Implementation Space of Mixed Systems)
320 -- 329Markus 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)
330 -- 334Heinz Zemanek. Dieter Kroneberg - ein Nachruf
335 -- 0Rainer Janßen. Spielen Sie gerne?

Volume 43, Issue 5

225 -- 226Günter Müller, Michael Kreutzer. Erst die neue Technologie, danach die Sicherheit!
227 -- 235Marit Köhntopp, Andreas Pfitzmann. Informationelle Selbstbestimmung durch Identitätsmanagement (Informational Self-Determination by Identity Management)
236 -- 245Daniela Gerd tom Markotten, Uwe Jendricke. Identitätsmanagement im E-Commerce (Identity Management in E-Commerce)
246 -- 253Mark Borning, Dogan Kesdogan, Otto Spaniol. Anonymität und Unbeobachtbarkeit im Internet (Anonymity and Untraceability in the Internet)
254 -- 263Uwe Baumgarten, Claudia M. Eckert. Mobil und trotzdem sicher? (Mobile, but Nevertheless Secure?)
264 -- 269Johannes Kaiser. Integration vertrauter Merkmale als Gestaltungsprinzip für sichere Systeme (Integration of Familiar Characteristics as Design Principle for Secure Systems)
270 -- 279Michael Kreutzer, Alf Zugenmaier. Verbindlichkeit durch netzinterne Sicherheitsdienste (Reaching Accountability by Security Services inside Networks)
280 -- 281Silke Seehusen. Online-Kurse in der Virtuellen Fachhochschule (VFH)
282 -- 286Th. Geßner, W. Seckel, G. Herrmann, R. Streiter. Sonderforschungsbereich 379 "Mikromechanische Sensor- und Aktorarrays". Grundlagenforschung mit Anwendungsbezug auf dem Gebiet der Mikrosystemtechnik an der TU Chemnitz
287 -- 290Rainer Janßen. übrigens ... arbeiten Sie schon virtuell?

Volume 43, Issue 4

177 -- 183Heinz Zemanek. Claude E. Shannon (1916-2001) (Claude E. Shannon (1916-2001))
184 -- 193Franz 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 Erlan
194 -- 199Peter Marwedel. Compiler für eingebettete Prozessoren (Compilers for Embedded Processors)
200 -- 205Rolf Drechsler. Äquivalenzvergleich digitaler Schaltungen im industriellen Umfeld (Equivalence Checking of Digital Circuits in an Industrial Environment)
206 -- 214Stefan M. Petters, Alexander von Bülow. Laufzeitbestimmung von Realzeitsoftware (Bounding the Execution Time of Software in Realtime Systems)
215 -- 217Helmut Bähring, Jörg Keller, Wolfram Schiffmann. Einsatz von neuen Medien an der FernUniversität Hagen
218 -- 220Ulrike Lucke, Djamshid Tavangarian. Wissenswerkstatt Rechensysteme
221 -- 224Rainer Janßen. Geschichtslose Zeiten?!

Volume 43, Issue 3

119 -- 120Michael Weber. Java
125 -- 131Arnd Poetzsch-Heffter. Javas Sprachentwurf im Spiegel der Anforderungen an mobilen Programmcode (How Java s Language Design Reflects the Requirements of Mobile Code)
132 -- 141Stephan Fischer. Java und verteilte Systeme (Java and distributed Systems)
142 -- 150Stephen Schmitt, Wolfgang Rosenstiel. Java in eingebetteten Systemen (Java in Embedded Systems)
151 -- 158Markus Straßer, Kurt Rothermel. Java als Sprache für mobile Agenten (Java as a Language for Mobile Agents)
159 -- 165Michael Philippsen. Verschiedene Realisierungmöglichkeiten für komplexe Zahlen in Java im Vergleich (Comparison of various approaches to make complex numbers available in Java)
166 -- 0Ulrike Lucke, Djamshid Tavangarian. Wissenswerkstatt für Technische Informatik
168 -- 0Dieter Monjau. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
173 -- 176Rainer Janßen. e-Mann und seine Männlichkeitssymbole

Volume 43, Issue 2

57 -- 59Christian Müller-Schloer. Ubiquitous Computing - Der allgegenwärtige Computer
60 -- 66Klaus Jobmann, Andreas Heinrich. Ubiquitäre Netze - Kommunikationsanforderungen ubiquitärer Endgeräte (Requirements of Devices for Ubiquitous Computing)
67 -- 73Volker Bauche. Eine Java-Plattform für Internet Appliances (A Java Platform for Internet Appliances)
74 -- 82Tom 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)
83 -- 89Albrecht Schmidt, Hans-Werner Gellersen. Nutzung von Kontext in ubiquitären Informationssystemen (Context-Awareness in Ubiquitous Computing)
90 -- 96Andreas Butz, Antonio Krüger. Orts- und richtungsabhängige Informationspräsentation auf Mobilen Geräten (Location and Orientation-Aware Presentation of Information on Mobile Devices)
97 -- 106Steve 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 zwisch
110 -- 114Franz Freyberger, Jens Hoogen. Wirklichkeitsnahe Telepräsenz und Teleaktion
115 -- 118Rainer Janßen. übrigens ... Daten - von der Wiege direkt ins Grab?

Volume 43, Issue 1

5 -- 7Hans Eveking. Formale Verifikationsverfahren (Formal Verification)
8 -- 15Wolfgang Kunz, Dominik Stoffel. Äquivalenzvergleich mit strukturellen Methoden (Equivalence Checking using Structural Methods)
16 -- 21Michael Payer. Industrial Experience with Formal Verification (Industrielle Erfahrungen mit Formaler Verifikation)
22 -- 28Jörg Bormann, Christoph Spalinger. Formale Verifikation für Nicht-Formalisten (Formal Verification for Non-Formalists)
29 -- 34Tom Bienmüller, Werner Damm, Jochen Klose, Hartmut Wittke. Formale Analyse und Verifikation von Statemate-Entwürfen (Formal Analysis and Verification of Statemate Designs)
35 -- 38Peter Jansen. Formale Verifikation von Spezifikations-Modellen (Formal Verification of Specification Models)
39 -- 46Jürgen Ruf, Thomas Kropf. Formale Verifikation diskreter Echtzeitsysteme (Formal Verification of Discrete Real-Time Systems)
47 -- 48Heinz-Dietrich Wuttke. Neue Medien in der Lehre (1): Living Pictures - Lernmodule für die Informatikausbildung
49 -- 52Ralf Seepold. 4. Workshop Virtual Component Design & Reuse (VCDR)
53 -- 56Rainer Janßen. übrigens ... Schöne neue Welt?!