ilość książek w kategorii: 2327
![]() |
Petri-Netz-Methoden Und -Werkzeuge: Hilfsmittel Zur Entwurfsspezifikation Und -Validation Von Rechensystemen
ISBN: 9783540506423 / Niemiecki / Miękka / 254 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von Software in verschiedenen Phasen der Entwicklung komplexer Rechensysteme geeignet. In diesem Bericht werden 22 existierende Software-Werkzeuge (ohne Anspruch auf Vollstandigkeit) klassifiziert und bewertet, die jeweils eine Teilmenge der denkbaren Untersuchungsmethoden unterstutzen, bzw. einen graphischen Editor zur Netzkonstruktion aufweisen. Klassifikation und Bewertung der Merkmale erfolgten mittels eines speziellen Beschreibungskatalogs. Dabei wird erstmals versucht, die...
Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von Software in verschiedenen Phasen de...
|
cena:
206,88 |
![]() |
The Intelligent Network: A Joint Study by Bell Atlantic, IBM and Siemens
ISBN: 9783540508977 / Angielski / Miękka / 294 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This report examines the findings of a study by Bell Atlantic, IBM, and Siemens which investigated the role of the Intelligent Network in telecommunications. It considers current trends and future developments, on a national and international level. This report defines and describes the concept of the Intelligent Network and considers the operating requirements (including the hardware and software) and the types of service a network user can expect. Concepts, definitions, and terminology reflect the status of the Intelligent Network in 1988. Actual implementation may differ due to the...
This report examines the findings of a study by Bell Atlantic, IBM, and Siemens which investigated the role of the Intelligent Network in telecommunic...
|
cena:
201,24 |
![]() |
Pearl 90 -- Workshop Über Realzeitsysteme: 11. Fachtagung Des Pearl-Vereins E.V. Unter Mitwirkung Von GI Und Gma, Boppard, 29./30. November 1990, Proc
ISBN: 9783540534648 / Niemiecki / Miękka / 187 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Seit vielen Jahren sind Rechner bei der Automatisierung technischer Prozesse unverzichtlich. Dabei reicht die Palette der eingesetzten Systeme von Kleinstsystemen auf einer Kreditkarte bis zu sehr teuren Multiprozessorarchitekturen. Fast immer mussen die Rechnersysteme fahig sein, auf spontane aussere Ereignisse schnell zu reagieren oder - eventuell gleichzeitig - komplizierte zeitliche Steuerungsvorhaben einzuhalten. Dieses "Echtzeitverhalten" ist zentrales Thema dieses Tagungsbandes. Dabei werden sowohl theoretische Aspekte, Methoden des Software-Engineering, technische Realisierungen als...
Seit vielen Jahren sind Rechner bei der Automatisierung technischer Prozesse unverzichtlich. Dabei reicht die Palette der eingesetzten Systeme von Kle...
|
cena:
206,88 |
![]() |
Technology and Assessment of Safety-Critical Systems: Proceedings of the Second Safety-Critical Systems Symposium, Birmingham, Uk, 8-10 February 1994
ISBN: 9783540198598 / Angielski / Miękka / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The programme for the Second Safety-critical Systems Symposium was planned to examine the various aspects of technology currently employed in the design of safety-critical systems, as well as to emphasise the importance of safety and risk management in their design and operation. assessment There is an even balance of contributions from academia and industry. Thus, industry is given the opportunity to express its views of the safety-critical domain and at the same time offered a glimpse of the technologies which are currently under development and which, if successful, will be available in...
The programme for the Second Safety-critical Systems Symposium was planned to examine the various aspects of technology currently employed in the desi...
|
cena:
201,24 |
![]() |
Pervasive Linux: Basistechnologien, Softwareentwicklung, Werkzeuge
ISBN: 9783540209409 / Niemiecki / Book Termin realizacji zamówienia: ok. 5-8 dni roboczych. Der Band bietet eine grundlegende Einfuhrung in das Thema Linux fur mobile Endgerate wie z. B. PDAs (Personal Digital Assistants) oder Mobiltelefone. Der Autor erlautert zunachst die Spezifika sogenannter eingebetteter Systeme und erklart dann, was beim Einsatz von Linux als Betriebssystem zu beachten ist. Anschliessend werden die zentralen Komponenten eines Linux-Systems vorgestellt und die Programmierung unter Linux mithilfe gangiger Werkzeuge im Detail dargelegt. Berucksichtigt wird insbesondere die Entwicklung von Benutzeroberflachen. "Der Band bietet eine grundlegende Einfuhrung in das Thema Linux fur mobile Endgerate wie z. B. PDAs (Personal Digital Assistants) oder Mobiltelefon... |
cena:
214,41 |
![]() |
Kommunikation in Verteilten Systemen: Grundlagen, Anwendungen, Betrieb Gi/Itg-Fachtagung, Mannheim, 20.-22. Februar 1991, Proceedings
ISBN: 9783540537212 / Niemiecki / Miękka / 599 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Fachtagung "Kommunikation in verteilten Systemen" hat zum Ziel, neue Erkenntnisse zu Konzepten, Anwendungen und Auswirkungen von verteilten Systemen und den zugehorigen Kommunikationsaspekten zu vermitteln. Die 7. Fachtagung fand vom 20. bis 22. Februar 1991 an der Universitat Mannheim statt. Der Tagungsband wendet sich an Informatiker, Ingenieure und andere Fachleute in diesem Arbeitsgebiet aus Universitaten und Forschungseinrichtungen, Industrie, Verwaltung und Telekom. Die thematischen Schwerpunkte sind - Architektur verteilter Systeme; - Offene Netze und offene verteilte Verarbeitung;...
Die Fachtagung "Kommunikation in verteilten Systemen" hat zum Ziel, neue Erkenntnisse zu Konzepten, Anwendungen und Auswirkungen von verteilten System...
|
cena:
206,88 |
![]() |
Rendering Techniques '95: Proceedings of the Eurographics Workshop in Dublin, Ireland, June 12-14, 1995
ISBN: 9783211827338 / Angielski / Miękka / 375 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Following five successful workshops in the previous five years, the Rendering Workshop is now well established as a major international forum and one of the most reputable events in the field of realistic image synthesis. Including the best 31 papers which were carefully evaluated out of 68 submissions the book gives an overview on hierarchical radiosity, Monte Carlo radiosity, wavelet radiosity, nondiffuse radiosity, and radiosity performance improvements. Some papers deal with ray tracing, reconstruction techniques, volume rendering, illumination, user interface aspects, and importance...
Following five successful workshops in the previous five years, the Rendering Workshop is now well established as a major international forum and one ...
|
cena:
201,24 |
![]() |
Agentenorientierte Softwareentwicklung: Methoden und Tools
ISBN: 9783540000624 / Niemiecki / Twarda / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Autoren geben eine Einfuhrung in Methoden und Tools fur die agentenorientierte Softwareentwicklung. Zunachst wird das Konzept der Agentenorientierung erlautert und das junge Gebiet der agentenorientierten Softwareentwicklung im Uberblick vorgestellt. Im Anschluss daran werden mehrere bekannte Methoden (Gaia, MASSIVE, Zeus, Aalaadin, MaSE) und Tools (FIPA-OS, JADE, Zeus-Toolkit, MadKit, agentTool) ausfuhrlich behandelt. Die Methoden und Tools werden allgemein beschrieben, an einem einheitlichen Fallbeispiel illustriert, und unter Verwendung verschiedener anwendungsnaher und...
Die Autoren geben eine Einfuhrung in Methoden und Tools fur die agentenorientierte Softwareentwicklung. Zunachst wird das Konzept der Agentenorientier...
|
cena:
225,72 |
![]() |
Messung, Modellierung Und Bewertung Von Rechen- Und Kommunikationssystemen: 7. Itg/Gi-Fachtagung, Aachen, 21.-23. September 1993
ISBN: 9783540572015 / Niemiecki / Miękka / 375 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen" ist die 7. Veranstaltung der gleichnamigen Fachgruppe. Die Tagung verfolgt die Ziele, Interessierten und Fachleuten aus dem deutschsprachigen Raum einen Rahmen zu schaffen, Erfahrungen und neue Ideen auszutauschen, entwickelte Werkzeuge vorzustellen und iiber Methoden und LOsungskonzepte fiir die Leistungsbewer tung von Rechen-und Kommunikationssystemen zu diskutieren. Oegriindet wurde die Fachgruppe 1978 anliilllich eines OI-Workshops 1977 iiber Modelle von Rechensystemen in Bonn. Organisiert ist sie als gemeinsame...
"Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen" ist die 7. Veranstaltung der gleichnamigen Fachgruppe. Die Tagung verfolg...
|
cena:
206,88 |
![]() |
Pearl 93: Workshop Über Realzeitsysteme Fachtagung Der Gi-Fachgruppe 4.4.2 Echtzeitprogrammierung, Pearl Boppard, 2./3. Dezember
ISBN: 9783540574736 / Niemiecki / Miękka / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die GI-Fachgruppe 4.4.2 Eehtzeitprogrammierung, obwohl gerade 'im zweiten Jahr', zeigt eine erfreuliehe Resonanz: Die Mitgliederzahl iiberstieg bereits Anfang '93 die Zahl 100. Zuriiek blieken kann die Faehgruppe aueh auf eine erfolgreiehe Jahrestagung 1992 mit lebhaftem Besueh und engagierten, teils sogar kontroversen Vortragen und Diskussionen. Es war daher wohl keine Frage, daB die Faehgruppe aueh 1993 in vergleiehbarem Gewande eine Jahrestagung abhalten wfude. Als Leitthema gab sieh die Faehgruppe fUr dieses Jahr die 'Programmentwieklung fiir verteilte Echtzeit-Systeme', wohl wissend, daB...
Die GI-Fachgruppe 4.4.2 Eehtzeitprogrammierung, obwohl gerade 'im zweiten Jahr', zeigt eine erfreuliehe Resonanz: Die Mitgliederzahl iiberstieg bereit...
|
cena:
206,88 |
![]() |
PEARL 94: Workshop über Realzeitsysteme. Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL, Boppard, 1./2. Dezember 1994
ISBN: 9783540586777 / Niemiecki / Miękka / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Aller guten Dinge sind drei, pflegt man zu sagen. Die GI-Fachgruppe 4.4.2 Echtzeitprogrammierung geht mit ihrem Workshop PEARL '94 in ihr drittes Jahr: Wir wollen zwar hoffen, da sich Fachgruppe und Tagung weiter so entwickeln, wie bisher. Doch, wie geht es weiter? Die Rezession hat in der Industrie den Freiraum fur nicht unmittelbar ertragsorientierte Betatigungen spurbar eingeengt. An den Teilnehmerzahlen vieler Tagungen war das deutlich zu spuren. Auch unsere Fachgruppe, die traditionell eine hohe Beteiligung aus der Industrie aufweist, ist davon nicht ganz verschont geblieben. Trotzdem...
Aller guten Dinge sind drei, pflegt man zu sagen. Die GI-Fachgruppe 4.4.2 Echtzeitprogrammierung geht mit ihrem Workshop PEARL '94 in ihr drittes Jahr...
|
cena:
206,88 |
![]() |
Emotion-Oriented Systems
ISBN: 9781848212589 / Angielski / Twarda / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Affective Computing domain, term coined by Rosalind Picard in 1997, gathers several scientific areas such as computer science, cognitive science, psychology, design and art. The humane-machine interaction systems are no longer solely fast and efficient. They aim to offer to users affective experiences: user's affective state is detected and considered within the interaction; the system displays affective state; it can reason about their implication to achieve a task or resolve a problem. In this book, we have chosen to cover various domains of research in emotion-oriented systems. Our aim...
The Affective Computing domain, term coined by Rosalind Picard in 1997, gathers several scientific areas such as computer science, cognitive science, ...
|
cena:
788,29 |
![]() |
Communication Technologies for Vehicles
ISBN: 9783642197857 / Angielski / Miękka / 239 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the joint refereed proceedings of the Third International Workshop on Communication Technologies for Vehicles, Nets4Cars 2011and the First International Workshop on Communication Technologies for Vehicles in the Railway Transportation, Nets4Trains 2011, held in Oberpfaffenhofen, Germany, in March 2011.
Constitutes the joint refereed proceedings of the Third International Workshop on Communication Technologies for Vehicles, Nets4Cars 2011and the First...
|
cena:
201,24 |
![]() |
Life Cycle Management for Dependability
ISBN: 9783540760733 / Angielski / Miękka / 235 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dependability has always been an vital attribute of operational systems, regardless of whether they are highly-specialised (like electricity generating plants) or more general-purpose (like domestic appliances). This volume provides a highly-readable overview of the topic, concentrating on dependability as a life-cycle management issue rather than as a technical subject. Specifically avoiding technical language and complex mathematics, it is designed to be accessible to readers at all levels. It will be of particular interest to project managers and software engineers in industries where...
Dependability has always been an vital attribute of operational systems, regardless of whether they are highly-specialised (like electricity generatin...
|
cena:
402,53 |
![]() |
The Politics of Usability: A Practical Guide to Designing Usable Systems in Industry
ISBN: 9783540761815 / Angielski / Miękka / 194 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Why This Book, Why Now? It is now widely recognized that in the development of IT systems, the technology driven focus of the past has been eclipsed by a concern for user satisfaction and user productivity. It is well known that usability engineering helps make systems easier to use and more relevant to business needs. The benefits of producing usable computer systems have been proven in careful dollar or pound calculations and any computer user who has interacted with a system designed for usability will enthuse about the benefits and refuse to go back to the bad old days. More and more...
Why This Book, Why Now? It is now widely recognized that in the development of IT systems, the technology driven focus of the past has been eclipsed b...
|
cena:
201,24 |
![]() |
Modal and Temporal Properties of Processes
ISBN: 9781441931535 / Angielski / Miękka / 191 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.
In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many ...
|
cena:
201,24 |
![]() |
Hardware/Software Co-Design and Co-Verification
ISBN: 9781441951595 / Angielski / Miękka / 166 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Co-Design is the set of emerging techniques which allows for the simultaneous design of Hardware and Software. In many cases where the application is very demanding in terms of various performances (time, surface, power consumption), trade-offs between dedicated hardware and dedicated software are becoming increasingly difficult to decide upon in the early stages of a design. Verification techniques - such as simulation or proof techniques - that have proven necessary in the hardware design must be dramatically adapted to the simultaneous verification of Software and Hardware.
... Co-Design is the set of emerging techniques which allows for the simultaneous design of Hardware and Software. In many cases where the application is ...
|
cena:
805,10 |
![]() |
Distributed Embedded Systems: Design, Middleware and Resources: Ifip 20th World Computer Congress, Tc10 Working Conference on Distributed and Parallel
ISBN: 9781441935052 / Angielski / Miękka / 226 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This year, the IFIP Working Conference on Distributed and Parallel Embedded Sys tems (DIPES 2008) is held as part of the IFIP World Computer Congress, held in Milan on September 7 10, 2008. The embedded systems world has a great deal of experience with parallel and distributed computing. Many embedded computing systems require the high performance that can be delivered by parallel computing. Parallel and distributed computing are often the only ways to deliver adequate real time performance at low power levels. This year's conference attracted 30 submissions, of which 21 were accepted. Prof....
This year, the IFIP Working Conference on Distributed and Parallel Embedded Sys tems (DIPES 2008) is held as part of the IFIP World Computer Congress,...
|
cena:
402,53 |
![]() |
E-Government Ict Professionalism and Competences Service Science: Ifip 20th World Computer Congress, Industry Oriented Conferences, September 7-10, 20
ISBN: 9781441935229 / Angielski / Miękka / 308 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the IFIP Industry Oriented Conferences held at the 20th World Computer Congress in Milano, Italy on September 7-10, 2008. The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection... This book constitutes the refereed proceedings of the IFIP Industry Oriented Conferences held at the 20th World Computer Congress in Milano, Italy ... |
cena:
402,53 |
![]() |
System Level Design of Reconfigurable Systems-On-Chip
ISBN: 9781441938640 / Angielski / Miękka / 231 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. System Level Design of Reconfigurable Systems-on-Chip provides insight in the challenges and difficulties encountered during the design of reconfigurable Systems-on-Chip (SoCs). Reconfiguration is becoming an important part of System-on-Chip design to cope with the increasing demands for simultaneous flexibility and computational power. The book focuses on system level design issues for reconfigurable SoCs, and provides information on reconfiguration aspects of complex SoCs and how they can be implemented in practice. It is divided in three parts. The first part... System Level Design of Reconfigurable Systems-on-Chip provides insight in the challenges and difficulties encountered during the d... |
cena:
402,53 |