Filter
(found 4039 products)
Book cover image
Software engineering and the language Ada are playing a major role in the development of software and software technology for the new century. The11th Ada Europe conference shows that Ada has matured from a language, mainly of researchers and academics in the early 1980s, into a full-grown tool in software ...
Ada: Moving Towards 2000: 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992. Proceedings
Software engineering and the language Ada are playing a major role in the development of software and software technology for the new century. The11th Ada Europe conference shows that Ada has matured from a language, mainly of researchers and academics in the early 1980s, into a full-grown tool in software engineering practice. This volume contains a selection of contributions to the conference. They demonstrate that Ada is very beneficially used in many software development projects and is gradually becoming accepted on the scale it deserves. Papers have been selected that show that Ada is indeed ripened in all aspects of software engineering. A variety of topics is addressed: management, economics, practical experiences, numerics, and the use of Ada for real-time and distributed systems.
https://magrudy-assets.storage.googleapis.com/9783540555858.jpg
103.950000 USD

Ada: Moving Towards 2000: 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992. Proceedings

Paperback / softback
Book cover image
This volume presents a selection of the contributions to the Seventh Workshop on Informatics and Psychology. The theme of the workshop was Visualization in Human-Computer Interaction. Visualization is nowadays recognized as an important aspect of user-oriented human-computer interfaces. Both informatics and psychology are concerned with this topic. In informatics, the ...
Visualization in Human-Computer Interaction: 7th Interdisciplinary Workshop on Informatics and Psychology, Scharding, Austria, May 24-27, 1988. Selected Contributions
This volume presents a selection of the contributions to the Seventh Workshop on Informatics and Psychology. The theme of the workshop was Visualization in Human-Computer Interaction. Visualization is nowadays recognized as an important aspect of user-oriented human-computer interfaces. Both informatics and psychology are concerned with this topic. In informatics, the technology is being developed which makes visualization and interaction based on visual concepts feasible. Another important trend in informatics is the development of prototypical solutions. Visual programming, visual languages, graphical interfaces, visual representations and many other keywords characterize current efforts in this field. Psychologists are working on the question of how people represent knowledge visually and how they can take advantage of visual representations when solving tasks.
https://magrudy-assets.storage.googleapis.com/9783540526988.jpg
89.240000 USD

Visualization in Human-Computer Interaction: 7th Interdisciplinary Workshop on Informatics and Psychology, Scharding, Austria, May 24-27, 1988. Selected Contributions

Paperback / softback
Book cover image
As future generation information technology (FGIT) becomes specialized and fr- mented, it is easy to lose sight that many topics in FGIT have common threads and, because of this, advances in one discipline may be transmitted to others. Presentation of recent results obtained in different disciplines encourages this interchange for ...
Advances in Software Engineering: International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proce
As future generation information technology (FGIT) becomes specialized and fr- mented, it is easy to lose sight that many topics in FGIT have common threads and, because of this, advances in one discipline may be transmitted to others. Presentation of recent results obtained in different disciplines encourages this interchange for the advancement of FGIT as a whole. Of particular interest are hybrid solutions that c- bine ideas taken from multiple disciplines in order to achieve something more signi- cant than the sum of the individual parts. Through such hybrid philosophy, a new principle can be discovered, which has the propensity to propagate throughout mul- faceted disciplines. FGIT 2009 was the first mega-conference that attempted to follow the above idea of hybridization in FGIT in a form of multiple events related to particular disciplines of IT, conducted by separate scientific committees, but coordinated in order to expose the most important contributions. It included the following international conferences: Advanced Software Engineering and Its Applications (ASEA), Bio-Science and Bio- Technology (BSBT), Control and Automation (CA), Database Theory and Appli- tion (DTA), Disaster Recovery and Business Continuity (DRBC; published indepe- ently), Future Generation Communication and Networking (FGCN) that was c- bined with Advanced Communication and Networking (ACN), Grid and Distributed Computing (GDC), Multimedia, Computer Graphics and Broadcasting (MulGraB), Security Technology (SecTech), Signal Processing, Image Processing and Pattern Recognition (SIP), and u- and e-Service, Science and Technology (UNESST).
https://magrudy-assets.storage.googleapis.com/9783642106187.jpg
145.950000 USD

Advances in Software Engineering: International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proce

Paperback / softback
Book cover image
Since the 1980s, software agents and multi-agent systems have grown into what is now one of the most active areas of research and development activity in computing generally. One of the most important reasons for the current intensity of interest in the agent-based computing paradigm certainly is that the concept ...
Agent-Oriented Software Engineering II: Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions
Since the 1980s, software agents and multi-agent systems have grown into what is now one of the most active areas of research and development activity in computing generally. One of the most important reasons for the current intensity of interest in the agent-based computing paradigm certainly is that the concept of an agent as an autonomous system, capable of interacting with other agents in order to satisfy its design objectives, is a natural one for software designers. This recognition has led to the growth of interest in agents as a new paradigm for software engineering. This book reflects the state of the art in the field by presenting 14 revised full papers accepted for the second workshop on this topic, AOSE 2001, together with five invited survey articles. The book offers topical sections on societies and organizations, protocols and interaction frameworks, UML and agent systems, agent-oriented requirements capture and specification, and analysis and design.
https://magrudy-assets.storage.googleapis.com/9783540432821.jpg
114.450000 USD

Agent-Oriented Software Engineering II: Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions

Paperback / softback
Book cover image
This book constitutes the refereed proceeding of the 6th International Conference on Coordination Models and Languages, COORDINATION 2004, held in Pisa, Italy in February 2004. The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 72 submissions. Among the topics ...
Coordination Models and Languages: 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings
This book constitutes the refereed proceeding of the 6th International Conference on Coordination Models and Languages, COORDINATION 2004, held in Pisa, Italy in February 2004. The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 72 submissions. Among the topics addressed are context-aware coordination, the Linda coordination model, component adaptation, aspect-oriented programming, coordination middleware, peer-to-peer systems, coordination languages, network coordination, logic based coordination, agent coordination, as well as several coordination tools.
https://magrudy-assets.storage.googleapis.com/9783540210443.jpg
114.450000 USD

Coordination Models and Languages: 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings

Paperback / softback
Book cover image
Pro Java 7 NIO.2 addresses the three primary elements that offer new input/output (I/O) APIs in Java 7, giving you the skills to write robust, scalable Java applications: An extensive file I/O API system addresses feature requests that developers have sought since the inception of the JDK A socket channel ...
Pro Java 7 NIO.2
Pro Java 7 NIO.2 addresses the three primary elements that offer new input/output (I/O) APIs in Java 7, giving you the skills to write robust, scalable Java applications: An extensive file I/O API system addresses feature requests that developers have sought since the inception of the JDK A socket channel API addresses multicasting, socket binding associated with channels, and related issues An asynchronous I/O API enables mapping to I/O facilities, completion ports, and various I/O event port mechanisms to enhance scalability NIO.2 for the Java platform, known as JSR 203, is a major feature of the new Java JDK 7 under the leadership of Alan Bateman as an OpenJDK project. Take advantage of these exciting new developments with Pro Java 7 NIO.2.
https://magrudy-assets.storage.googleapis.com/9781430240112.jpg
52.490000 USD

Pro Java 7 NIO.2

by Anghel Leonard
Paperback / softback
Book cover image
Android Apps Security provides guiding principles for how to best design and develop Android apps with security in mind. It explores concepts that can be used to secure apps and how developers can use and incorporate these security features into their apps. This book will provide developers with the information ...
Android Apps Security
Android Apps Security provides guiding principles for how to best design and develop Android apps with security in mind. It explores concepts that can be used to secure apps and how developers can use and incorporate these security features into their apps. This book will provide developers with the information they need to design useful, high-performing, and secure apps that expose end-users to as little risk as possible. Overview of Android OS versions, features, architecture and security. Detailed examination of areas where attacks on applications can take place and what controls should be implemented to protect private user data In-depth guide to data encryption, authentication techniques, enterprise security and applied real-world examples of these concepts
https://magrudy-assets.storage.googleapis.com/9781430240624.jpg
47.240000 USD

Android Apps Security

by Sheran Gunasekera
Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 18th International Conference on Information and Software Technologies, ICIST 2012, held in Kaunas, Lithuania, in September 2012. The 40 revised full papers presented were carefully reviewed and selected from 81 submissions. The papers are organized in topical sections on artificial intelligence and ...
Information and Software Technologies: 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings
This book constitutes the refereed proceedings of the 18th International Conference on Information and Software Technologies, ICIST 2012, held in Kaunas, Lithuania, in September 2012. The 40 revised full papers presented were carefully reviewed and selected from 81 submissions. The papers are organized in topical sections on artificial intelligence and knowledge engineering, business process modelling, analysis and design, formal analysis and design methods, information and software systems engineering, information technology applications and computer networks, information technology in teaching and learning, ontology, conceptual modelling and databases, requirements engineering and business rules.
https://magrudy-assets.storage.googleapis.com/9783642333071.jpg
104.990000 USD

Information and Software Technologies: 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings

Paperback / softback
Book cover image
The expectation for the future of the 21st century enterprise is complexity and agility. In this digital age, business processes are scattered not only throu- out the labyrinth of their own enterprises, but also across di?erent enterprises, and even beyond the national boundaries. An evidence of this is the gr- ...
Advances in Enterprise Engineering I: 4th International Workshop CIAO! and 4th International Workshop EOMAS, held at CAiSE 2008, Montpellier, France, June 16-17, 2008, Proceedings
The expectation for the future of the 21st century enterprise is complexity and agility. In this digital age, business processes are scattered not only throu- out the labyrinth of their own enterprises, but also across di?erent enterprises, and even beyond the national boundaries. An evidence of this is the gr- ing phenomenon of business process outsourcing. Increasing competition, higher customer demands, and emerging technologies require swift adaptation to the changes. To understand, design, and engineer a modern enterprise (or an enterprise network) and its interwoven business processes, an engineering and systematic approach based on sound and rigorous theories and methodologies is necessary. Along with that, a paradigmshift seems to be needed for addressing these issues adequately. An appealing candidate is to look at an enterprise and its business processes as a social system. In its social setting, an enterprise and its bu- ness processes represent actors with certain authorities and assigned roles, who assume certain responsibilities in order to provide a service to its environment. The need for this paradigm shift along with the complexity and agility of modern enterprises, gives inspiration for the emerging discipline of Enterprise Engineering. For the study of this socio-technical phenomenon, the prominent tools ofModeling andSimulation play a signi?cant role.Both (conceptual) m- eling and simulationare widely used for understanding,analyzing,andengine- ing an enterprise (its organization and business processes).
https://magrudy-assets.storage.googleapis.com/9783540686439.jpg
94.490000 USD

Advances in Enterprise Engineering I: 4th International Workshop CIAO! and 4th International Workshop EOMAS, held at CAiSE 2008, Montpellier, France, June 16-17, 2008, Proceedings

Paperback / softback
Book cover image
Windows Workflow Foundation (WF) is a revolutionary part of the .NET 4 Framework that allows you to orchestrate human and system interactions as a series of workflows that can be easily mapped, analyzed, adjusted, and implemented. As business problems become more complex, the need for workflow-based solutions has never been ...
Pro WF: Windows Workflow in .NET 4
Windows Workflow Foundation (WF) is a revolutionary part of the .NET 4 Framework that allows you to orchestrate human and system interactions as a series of workflows that can be easily mapped, analyzed, adjusted, and implemented. As business problems become more complex, the need for workflow-based solutions has never been more evident. WF provides a simple and consistent way to model and implement complex problems. As a developer, you focus on developing the business logic for individual workflow tasks. The runtime handles the execution of those tasks after they have been composed into a workflow. Pro WF: Windows Workflow in .NET 4 provides you with the skills you need to incorporate WF in your applications, using a lively tutorial style with each example illustrated in C#. This book gets you up to speed with WF 4 quickly and comprehensively. Learn about WF 4's new designer, it's updated programming paradigm, and the completely new set of activities that can enable and extend your workflows. This book also includes detailed coverage of how to customize your workflows and access them in a variety of ways and situations so you can maximize the advantages of this technology.
https://magrudy-assets.storage.googleapis.com/9781430227212.jpg
57.740000 USD

Pro WF: Windows Workflow in .NET 4

by Bruce Bukovics
Paperback / softback
Book cover image
The approach described in [JonSl, JonS3a, JonS3b] set out to extend operation decom- position methods for sequential programs - such as are used in VDM [Jon90] - to cover concurrent shared-variable systems. The essential step in [JonSl] was to recognise that 1 inter/erence had to be specified. This is necessary ...
Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17-18 December 1990
The approach described in [JonSl, JonS3a, JonS3b] set out to extend operation decom- position methods for sequential programs - such as are used in VDM [Jon90] - to cover concurrent shared-variable systems. The essential step in [JonSl] was to recognise that 1 inter/erence had to be specified. This is necessary in order to achieve a notion of compo- sitionality - contrast [Owi75]. Rather than the many erudite definitions of composition- ality (e. g. [ZwiSS]), the view taken here is that, when a development task is decomposed into sub-tasks, these must be simpler than the original 'task. This is easy to achieve for sequential programs: decomposing a specified operation S into (Sl; S2), the specifica- tions of the Sj should neither include unnecessary information from each other nor from the context (i. e. S). An interesting discussion of the 'Quest for Compositionality' (in the context of concurrency) is contained in [dRS5, dRS6]. The rely/guarantee idea provided an existence proof that specifications and developments could be made powerful enough to cope with some forms of interference. The work initially attracted little attention but 2 3 there have recently been some critiques and attempts to extend the work * Most notably, Ketil St~len's thesis [St~90] addresses the main shortcomings of [JonSl]: the fact that no attempt had been made to handle synchronization has been remedied by adding a wait condition and other limitations of expressiveness have been shown to succumb to the judicious use of auxiliary variables.
https://magrudy-assets.storage.googleapis.com/9783540196723.jpg
115.490000 USD

Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17-18 December 1990

Paperback / softback
Book cover image
Organisational Semiotics offers an effective approach to analysing organisations and modelling organisational behaviour. The methods and techniques derived from Organisational Semiotics enable us to study the organisation by examining how information is created and used for communication, coordination and performance of actions towards organisational objectives. The latest development of the ...
Virtual, Distributed and Flexible Organisations: Studies in Organisational Semiotics
Organisational Semiotics offers an effective approach to analysing organisations and modelling organisational behaviour. The methods and techniques derived from Organisational Semiotics enable us to study the organisation by examining how information is created and used for communication, coordination and performance of actions towards organisational objectives. The latest development of the young discipline and its applications have been reported in this book, which provides a useful guide and a valuable reference to anyone working in the areas of organisational study and information systems development.
https://magrudy-assets.storage.googleapis.com/9789048166039.jpg
208.950000 USD

Virtual, Distributed and Flexible Organisations: Studies in Organisational Semiotics

Paperback / softback
Book cover image
Specification and transformation of programs is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules. The approach considers programming as a formal activity. Consequently, it requires ...
Specification and Transformation of Programs: A Formal Approach to Software Development
Specification and transformation of programs is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules. The approach considers programming as a formal activity. Consequently, it requires some mathematical maturity and, above all, the will to try something new. A somewhat experienced programmer or a third- or fourth-year student in computer science should be able to master most of this material - at least, this is the level I have aimed at. This book is primarily intended as a general introductory textbook on transformational methodology. As with any methodology, reading and understanding is necessary but not sufficient. Therefore, most of the chapters contain a set of exercises for practising as homework. Solutions to these exercises exist and can, in principle, be obtained at nominal cost from the author upon request on appropriate letterhead. In addition, the book also can be seen as a comprehensive account of the particular transformational methodology developed within the Munich CIP project.
https://magrudy-assets.storage.googleapis.com/9783540525899.jpg
103.950000 USD

Specification and Transformation of Programs: A Formal Approach to Software Development

by Helmut A Partsch
Paperback / softback
Book cover image
TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Advances in Distributed Computing (ADC) ...
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development
TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Advances in Distributed Computing (ADC) - Colloquium on Trees in Algebra and Programming (CAAP) - Colloquium on Combining Paradigms for Software Development (CCPSD) The proceedings are published in two volumes. The first volume (LNCS, Vol. 493) contains the papers from CAAP. The second volume (LNCS, Vol. 494) contains the papers from the ADC and CCPSD. The ADC talks by distinguished invited speakers surveys current developments in distributed computing, including the integration of different paradigms for concurrency, algebraic, logical and operational foundations, and applications to software engineering and formal methods. The CCPSD papers address aspects of the trend in software enginering towards unification and synthesis combining theory and practice, and merging hitherto diverse approaches.
https://magrudy-assets.storage.googleapis.com/9783540539810.jpg
135.450000 USD

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development

Paperback / softback
Book cover image
A common approach in software engineering is to apply during the design phase a variety of structured techniques like top-down design, decomposition and abstraction, while only subsequently, in the implementation phase, is the design tested to ensure reliability. But this approach neglects that central aspects of software design and program ...
Automatic Verification of Sequential Infinite-State Processes
A common approach in software engineering is to apply during the design phase a variety of structured techniques like top-down design, decomposition and abstraction, while only subsequently, in the implementation phase, is the design tested to ensure reliability. But this approach neglects that central aspects of software design and program development have a strong formal character which admits tool support for the construction of reliable and correct computer systems based on formal reasoning. This monograph provides much information both for theoreticians interested in algebraic theories, and for software engineers building practically relevant tools. The author presents the theoretical foundations needed for the verification of reactive, sequential infinite-state systems.
https://magrudy-assets.storage.googleapis.com/9783540639824.jpg
103.950000 USD

Automatic Verification of Sequential Infinite-State Processes

by O. Burkart
Paperback / softback
Book cover image
Practical ASP.NET Web API provides you with a hands-on and code-focused demonstration of the ASP.NET Web API in action. From the very beginning, you'll be writing working code in order to see best practices and concepts in action. As the book progresses, the concepts and code will become more sophisticated. ...
Practical ASP.NET Web API
Practical ASP.NET Web API provides you with a hands-on and code-focused demonstration of the ASP.NET Web API in action. From the very beginning, you'll be writing working code in order to see best practices and concepts in action. As the book progresses, the concepts and code will become more sophisticated. Beginning with an overview of the web service model in general and Web API in particular, you'll progress quickly to a detailed exploration of the request binding and response formatting that lie at the heart of Web API. You'll investigate various scenarios and see how they can be manipulated to achieve the results you need. Later in the book more sophisticated themes will be introduced that will set your applications apart from the crowd. You'll learn how you can validate the request messages on arrival, how you can create loosely coupled controllers, extend the pipeline processing to compartmentalize your code for security and unit testing before being put onto a live hosting server.
https://magrudy-assets.storage.googleapis.com/9781430261759.jpg
57.740000 USD

Practical ASP.NET Web API

by Badrinarayanan Lakshmiraghavan
Paperback / softback
Book cover image
the virtually unlimited possibilities of modern information and communication technology. Future enterprises will therefore have to operate in an ever more dynamic and global environment. They need to be more agile, more adaptive, and more transparent. In addition, they will be held more publicly accountable for every e?ect they produce. ...
Advances in Enterprise Engineering II: First NAF Academy Working Conference on Practice-Driven Research on Enterprise Transformation, PRET 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 11, 2009, Proceedings
the virtually unlimited possibilities of modern information and communication technology. Future enterprises will therefore have to operate in an ever more dynamic and global environment. They need to be more agile, more adaptive, and more transparent. In addition, they will be held more publicly accountable for every e?ect they produce. These challenges are traditionally addressed by black-box thinking-based knowledge, i.e., knowledge concerning the function and the behavior of ent- prises, as contained in the organizational sciences. Such knowledge is su?cient, and perfectly adequate, for managing an enterprise (within the range of c- trol). However, it is de?nitely inadequate for changing an enterprise. In order to bring about changes, white-box-based knowledge is needed, i.e., knowledge concerning the construction and the operation of enterprises. Developing and applying such knowledge requires no less than a paradigm shift in our thi- ing about enterprises, since the organizational sciences are dominantly oriented toward organizational behavior, based on black-box thinking.
https://magrudy-assets.storage.googleapis.com/9783642018589.jpg
103.950000 USD

Advances in Enterprise Engineering II: First NAF Academy Working Conference on Practice-Driven Research on Enterprise Transformation, PRET 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 11, 2009, Proceedings

Paperback / softback
Book cover image
The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking technologies for the analysis and veri?cation of asynchronous concurrent and distributed systems. The SPIN - del checker (http://netlib.bell-labs.com/netlib/spin/whatispin.html), developed by Gerard Holzmann, is one of the best known systems of this kind, and ...
SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking technologies for the analysis and veri?cation of asynchronous concurrent and distributed systems. The SPIN - del checker (http://netlib.bell-labs.com/netlib/spin/whatispin.html), developed by Gerard Holzmann, is one of the best known systems of this kind, and has attracted a large user community. This can likely be attributed to its e?cient state exploration algorithms. The fact that SPIN's modeling language, Promela, resembles a programming language has probably also contributed to its success. Traditionally, the SPIN workshops present papers on extensions and uses of SPIN. As an experiment, this year's workshop was broadened to have a slightly wider focus than previous workshops in that papers on software veri?cation were encouraged. Consequently, a small collection of papers describe attempts to analyze and verify programs written in conventional programming languages. Solutions include translations from source code to Promela, as well as specially designed model checkers that accept source code. We believe that this is an - teresting research direction for the formal methods community, and that it will result in a new set of challenges and solutions. Of course, abstraction becomes the key solution to deal with very large state spaces. However, we also see - tential for integrating model checking with techniques such as static program analysis and testing. Papers on these issues have therefore been included in the proceedings.
https://magrudy-assets.storage.googleapis.com/9783540410300.jpg
114.450000 USD

SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

Paperback / softback
Book cover image
This book constitutes the proceedings of the 5th International Conference on Advances in Information Technology, IAIT 2012, held in Bangkok, Thailand, in December 2012. The 18 revised papers presented in this volume were carefully reviewed and selected from 37 submissions. They deal with all areas related to applied information technology, ...
Advances in Information Technology: 5th International Conference, IAIT 2012, Bangkok, Thailand, December 6-7, 2012, Proceedings
This book constitutes the proceedings of the 5th International Conference on Advances in Information Technology, IAIT 2012, held in Bangkok, Thailand, in December 2012. The 18 revised papers presented in this volume were carefully reviewed and selected from 37 submissions. They deal with all areas related to applied information technology, such as e-service; information and communication technology; intelligent systems; information management; and platform technology.
https://magrudy-assets.storage.googleapis.com/9783642350757.jpg
83.990000 USD

Advances in Information Technology: 5th International Conference, IAIT 2012, Bangkok, Thailand, December 6-7, 2012, Proceedings

Paperback / softback
Book cover image
This volume consists of papers presented at the Second International Conference on Algebraic and Logic Programming in Nancy, France, October 1-3, 1990.
Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1-3, 1990. Proceedings
This volume consists of papers presented at the Second International Conference on Algebraic and Logic Programming in Nancy, France, October 1-3, 1990.
https://magrudy-assets.storage.googleapis.com/9783540531623.jpg
114.450000 USD

Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1-3, 1990. Proceedings

Paperback / softback
Book cover image
This volume contains the Proceedings of the Fourth International Conference on Coordination Models and Languages, Coordination 2000. It was held in the wake of three successful earlier conferences whose proceedings were also p- lished in this series, in volumes 1061, 1282 and 1594. The need for increased programmer productivity and ...
Coordination Languages and Models: 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings
This volume contains the Proceedings of the Fourth International Conference on Coordination Models and Languages, Coordination 2000. It was held in the wake of three successful earlier conferences whose proceedings were also p- lished in this series, in volumes 1061, 1282 and 1594. The need for increased programmer productivity and rapid development of complex systems provides pragmatic motivation for the development of coordination languages and m- els. The intellectual excitement associated with such endeavors is rooted in the decades-old desire to cope with increasingly higher levels of abstraction. Coordination-based methods provide a clean separation between individual so- ware components and their interactions within the overall software organization. This separation promises to make application development more tractable, to support global analysis, and to enhance software reuse. These are indeed major concerns in the information age, at a time when all aspects of society are relying, to an ever increasing degree, on software systems of unprecedented complexity. Research on coordination methods is likely to play a central role in addressing these technological concerns by changing the software culture around us and by leading to the development of e?ective technical solutions for a broad range of important problems.
https://magrudy-assets.storage.googleapis.com/9783540410201.jpg
114.450000 USD

Coordination Languages and Models: 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings

Paperback / softback
Book cover image
This volume contains selected papers of the International Workshop on Categorical Methods in Computer Science - with Aspects from Topology and of the 6th International Data Type Workshop held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: Part 1 includes papers on ...
Categorical Methods in Computer Science: With Aspects from Topology
This volume contains selected papers of the International Workshop on Categorical Methods in Computer Science - with Aspects from Topology and of the 6th International Data Type Workshop held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: Part 1 includes papers on categorical foundations and fundamental concepts from category theory in computer science. Part 2 presents applications of categorical methods to algebraic specification languages and techniques, data types, data bases, programming, and process specifications. Part 3 comprises papers on categorial aspects from topology which mainly concentrate on special adjoint situations like cartesian closeness, Galois connections, reflections, and coreflections which are of growing interest in categorical topology and computer science.
https://magrudy-assets.storage.googleapis.com/9783540517221.jpg
114.450000 USD

Categorical Methods in Computer Science: With Aspects from Topology

Paperback / softback
Book cover image
Windows 8 has been described by Microsoft as its `boldest' Windows release ever. Beginning Windows 8 takes you through the new features and helps you get more out of the familiar to reveal the possibilities for this amazing new operating system. You will learn, with non-technical language used throughout, how ...
Beginning Windows 8
Windows 8 has been described by Microsoft as its `boldest' Windows release ever. Beginning Windows 8 takes you through the new features and helps you get more out of the familiar to reveal the possibilities for this amazing new operating system. You will learn, with non-technical language used throughout, how to get up and running in the new Windows interface, minimize downtime, maximize productivity, and harness the features you never knew existed to take control of your computer and enjoy the peace of mind and excitement that comes with it. From tips and tweaks to easy-to-follow guides and detailed descriptions, this book takes you inside Windows 8 to discover the true power and flexibility that lies within, and guides you at your own pace through getting the very best from it.
https://magrudy-assets.storage.googleapis.com/9781430244318.jpg
41.990000 USD

Beginning Windows 8

by Mike Halsey
Paperback / softback
Book cover image
Performance is a hugely important area of web development. If your site runs slowly, users are going to leave, and the problem only grows as your site gets more popular. Pro JavaScript Performance gives you the tools you need to keep your sites smooth and responsive no matter how many ...
Pro JavaScript Performance: Monitoring and Visualization
Performance is a hugely important area of web development. If your site runs slowly, users are going to leave, and the problem only grows as your site gets more popular. Pro JavaScript Performance gives you the tools you need to keep your sites smooth and responsive no matter how many users you have. Best practices are changing or becoming redefined continually because of changes and optimizations at the interpreter level, and differences in system configuration, and network speeds. This is exacerbated by the quickened release schedule that most browsers have adopted. Just as important as following best practices is the ability to measure your own performance, so that you can adjust as times change, and so that you can note the subtle nuances in your own code and define your own best practices by your own observations. This book gives you the tools to observe and track the performance of your web applications over time from multiple perspectives, so that you are always aware of, and can fix, all aspects of your performance.
https://magrudy-assets.storage.googleapis.com/9781430247494.jpg
36.740000 USD

Pro JavaScript Performance: Monitoring and Visualization

by Tom Barker
Paperback / softback
Book cover image
This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3-5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis, control, and implementation of systems which involve the interaction of both discrete and ...
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3-5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis, control, and implementation of systems which involve the interaction of both discrete and continuous state dynamics. The newest results and latest developments in hybrid system models, formal methods for analysis and control, computational tools, as well as new applications and examples are presented at these annual meetings. The Sixth Workshop continued the series of workshops held in Grenoble, France (HART'97), Berkeley, California, USA (HSCC'98), Nijmegen, The Neth- lands (HSCC'99), Pittsburgh, Pennsylvania, USA (HSCC 2000), Rome, Italy (HSCC 2001), and Stanford, California, USA (HSCC 2002). Proceedings of these workshops have been published by Springer-Verlag in the Lecture Notes in C- puter Science (LNCS) series. This year we assembled a technical program committee with a broad expertise in formal methods in computer science, control theory, applied mathematics, and arti?cial intelligence. We received a set of 75 high-quality submitted papers. After detailed review and discussion of these papers by the program committee, 36 papers were accepted for presentation at the workshop, and the ?nal versions of these papers appear in this volume.
https://magrudy-assets.storage.googleapis.com/9783540009139.jpg
156.450000 USD

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

Paperback / softback
Book cover image
Model-Driven Development (MDD) has become an important paradigm in software development. It uses models as primary artifacts in the development process. This book provides an outstanding overview as well as deep insights into the area of model-driven development of user interfaces, which is an emerging topic in the intersection of ...
Model-Driven Development of Advanced User Interfaces
Model-Driven Development (MDD) has become an important paradigm in software development. It uses models as primary artifacts in the development process. This book provides an outstanding overview as well as deep insights into the area of model-driven development of user interfaces, which is an emerging topic in the intersection of Human-Computer-Interaction and Software-Engineering. The idea of this book is based on the very successful workshop series of Model-Driven Development of Advanced User Interfaces (MDDAUI) . It has been written by the leading researchers and practitioners in the field of model-driven development of user interfaces and offer a variety of solutions and examples for * Architectures and environments for the generation of user interfaces * User interface development for specific domains and purposes * Model-driven development in the context of ambient intelligence * Concepts supporting model-driven development of user interfaces
https://magrudy-assets.storage.googleapis.com/9783642266867.jpg
208.950000 USD

Model-Driven Development of Advanced User Interfaces

Paperback / softback
Book cover image
This volume constitutes the refereed proceedings of nine international workshops, EI2N+NSF ICE, ICSP, INBAST, ISDE, MONET, ORM, SeDeS, SWWS, and VADER 2011, held as part of OTM 2011 in Hersonissos on the island of Crete, Greece, in October 2011. The 64 revised full papers presented were carefully reviewed and selected ...
On the Move to Meaningful Internet Systems: OTM 2011 Workshops: Confederated International Workshops and Posters, EI2N+NSF ICE, ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and VADER 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings
This volume constitutes the refereed proceedings of nine international workshops, EI2N+NSF ICE, ICSP, INBAST, ISDE, MONET, ORM, SeDeS, SWWS, and VADER 2011, held as part of OTM 2011 in Hersonissos on the island of Crete, Greece, in October 2011. The 64 revised full papers presented were carefully reviewed and selected from a total of 104 submissions. The volume also includes three papers from the On the Move Academy (OTMA) 2011 and five ODBASE 2011 poster papers. Topics of the workshop papers are enterprise integration and semantics, information centric engineering, interoperability, industrial and business applications of semantic Web applications, information systems in distributed environments, process management in distributed information system development, distributed information systems: implementation issues and applications, industrial applications of fact-oriented modeling, data warehouse modeling, extensions to fact-oriented modeling, model validation procedures, schema transformations and mapping, semantic Web and Web semantics, ontology development, deployment and interoperability, data access and efficient computation, efficient information processing, exchange and knowledge synthesis algorithms, mobile and networking technologies for social applications, semantic and decision support, variability in software architecture, and dynamic and adaptive architectures.
https://magrudy-assets.storage.googleapis.com/9783642251252.jpg
135.450000 USD

On the Move to Meaningful Internet Systems: OTM 2011 Workshops: Confederated International Workshops and Posters, EI2N+NSF ICE, ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and VADER 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings

Paperback / softback
Book cover image
These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002), held on 23-25 January 2002 in the city of Grenoble in the heart of the French Alps. This conference built on the success of the rst con- rence in this series, ZB2000, held ...
ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002), held on 23-25 January 2002 in the city of Grenoble in the heart of the French Alps. This conference built on the success of the rst con- rence in this series, ZB2000, held at the University ofYork in the UK. The location of ZB2002 in Grenoble re ects the important work in the area of formal methods carried out at the Laboratoire Logiciels Systemes ' Reseaux ' within the Institut d'Informatique et Mathematiques ' Appliquees ' de Grenoble (LSR-IMAG), especially involving the B method. B and Z are two important formal methods that share a common conceptual o- gin; each are leading approaches applied in industry and academia for the speci cation and development (using formal re nement) of computer-based systems. At ZB2002 the B and Z communities were brought together to hold a second joint conference that simultaneously incorporated the 13th International Z User Meeting and the 4th Int- national Conference on the B method. Although organized logistically as an integral event, editorial control of the joint conference remained vested in two separate but c- perating program committees that respectively determined its B and Z content, but in a coordinated manner.
https://magrudy-assets.storage.googleapis.com/9783540431664.jpg
135.450000 USD

ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

Paperback / softback
Book cover image
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. The author employs CRL as the vehicle, a language developed to combine process algebra and abstract data types. The book evolved from introductory courses on protocol verification taught to ...
Modelling Distributed Systems
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. The author employs CRL as the vehicle, a language developed to combine process algebra and abstract data types. The book evolved from introductory courses on protocol verification taught to undergraduate and graduate students of computer science, and the text is supported throughout with examples and exercises. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author's website.
https://magrudy-assets.storage.googleapis.com/9783642093210.jpg
83.950000 USD

Modelling Distributed Systems

by Wan Fokkink
Paperback / softback
Book cover image
This book constitutes the thoroughly refereed scientific proceedings of the 4th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2012, held in Vienna, Austria, in April 2012. The 12 papers were carefully reviewed and selected from 36 submissions and are completed by one invited keynote paper and a summary ...
S-BPM ONE - Scientific Research: 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012, Proceedings
This book constitutes the thoroughly refereed scientific proceedings of the 4th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2012, held in Vienna, Austria, in April 2012. The 12 papers were carefully reviewed and selected from 36 submissions and are completed by one invited keynote paper and a summary of the tutorial onsubject-oriented business process management. S-BPM as a discipline is characterized by a seamless approach toward the analysis, modeling, implementation, execution, and maintenance of business processes, with an explicit stakeholder focus. This year's contributions address all life-cycle activities, in particular analyzing business objectives, subject behavior design and integration, and automating complex work procedures.
https://magrudy-assets.storage.googleapis.com/9783642291326.jpg
62.990000 USD

S-BPM ONE - Scientific Research: 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012, Proceedings

Paperback / softback