Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective PDF Author: Denis Besnard
Publisher: Springer Science & Business Media
ISBN: 1846281113
Category : Computers
Languages : en
Pages : 308

Get Book Here

Book Description
System developers, stakeholders, decision makers, policymakers and academics will find this book a one-stop resource highlighting the core issues for all those involved in dependability in a complex computer-based environment.

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective PDF Author: Denis Besnard
Publisher: Springer Science & Business Media
ISBN: 1846281113
Category : Computers
Languages : en
Pages : 308

Get Book Here

Book Description
System developers, stakeholders, decision makers, policymakers and academics will find this book a one-stop resource highlighting the core issues for all those involved in dependability in a complex computer-based environment.

Distributed Computing and Artificial Intelligence

Distributed Computing and Artificial Intelligence PDF Author: Sigeru Omatu
Publisher: Springer Science & Business Media
ISBN: 3319005510
Category : Technology & Engineering
Languages : en
Pages : 641

Get Book Here

Book Description
The International Symposium on Distributed Computing and Artificial Intelligence 2013 (DCAI 2013) is a forum in which applications of innovative techniques for solving complex problems are presented. Artificial intelligence is changing our society. Its application in distributed environments, such as the internet, electronic commerce, environment monitoring, mobile communications, wireless devices, distributed computing, to mention only a few, is continuously increasing, becoming an element of high added value with social and economic potential, in industry, quality of life, and research. This conference is a stimulating and productive forum where the scientific community can work towards future cooperation in Distributed Computing and Artificial Intelligence areas. These technologies are changing constantly as a result of the large research and technical effort being undertaken in both universities and businesses. The exchange of ideas between scientists and technicians from both the academic and industry sector is essential to facilitate the development of systems that can meet the ever increasing demands of today's society. This edition of DCAI brings together past experience, current work, and promising future trends associated with distributed computing, artificial intelligence and their application in order to provide efficient solutions to real problems. This symposium is organized by the Bioinformatics, Intelligent System and Educational Technology Research Group (http://bisite.usal.es/) of the University of Salamanca. The present edition was held in Salamanca, Spain, from 22nd to 24th May 2013.

Architecting Dependable Systems IV

Architecting Dependable Systems IV PDF Author: Rogério de Lemos
Publisher: Springer Science & Business Media
ISBN: 3540740333
Category : Computers
Languages : en
Pages : 446

Get Book Here

Book Description
As software systems become ubiquitous, the issues of dependability become more and more crucial. This state-of-the-art survey contains 18 expanded and peer-reviewed papers based on the carefully selected contributions to the Workshop on Architecting Dependable Systems (WADS 2006) organized at the 2006 International Conference on Dependable Systems and Networks (DSN 2006), held in Philadelphia, PA, USA, in June 2006.

Phenomenology, Organizational Politics, and IT Design: The Social Study of Information Systems

Phenomenology, Organizational Politics, and IT Design: The Social Study of Information Systems PDF Author: Viscusi, Gianluigi
Publisher: IGI Global
ISBN: 1466603046
Category : Computers
Languages : en
Pages : 428

Get Book Here

Book Description
"This book offers a new look at the latest research and critical issues within the field of information systems by creating solid theoretical frameworks and the latest empirical findings of social developments"--

Designing Software-Intensive Systems: Methods and Principles

Designing Software-Intensive Systems: Methods and Principles PDF Author: Tiako, Pierre F.
Publisher: IGI Global
ISBN: 1599047012
Category : Computers
Languages : en
Pages : 581

Get Book Here

Book Description
"This book addresses the complex issues associated with software engineering environment capabilities for designing real-time embedded software systems"--Provided by publisher.

Architecting Dependable Systems VI

Architecting Dependable Systems VI PDF Author: Rogério de Lemos
Publisher: Springer
ISBN: 3642102484
Category : Computers
Languages : en
Pages : 346

Get Book Here

Book Description
As software systems become increasingly ubiquitous, issues of dependability become ever more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability and security are addressed at the architectural level. This book has originated from an effort to bring together the research communities of software architectures, dependability and security. This state-of-the-art survey contains expanded and peer-reviewed papers based on the carefully selected contributions to two workshops: the Workshop on Architecting Dependable Systems (WADS 2008), organized at the 2008 International Conference on Dependable Systems and Networks (DSN 2008), held in Anchorage, Alaska, USA, in June 2008, and the Third International Workshop on Views On Designing Complex Architectures (VODCA 2008) held in Bertinoro, Italy, in August 2008. It also contains invited papers written by recognized experts in the area. The 13 papers are organized in topical sections on dependable service-oriented architectures, fault-tolerance and system evaluation, and architecting security.

Semantic and Fuzzy Modelling for Human Behaviour Recognition in Smart Spaces

Semantic and Fuzzy Modelling for Human Behaviour Recognition in Smart Spaces PDF Author: N. Díaz Rodríguez
Publisher: IOS Press
ISBN: 1614996075
Category : Computers
Languages : en
Pages : 228

Get Book Here

Book Description
One of the major limitations of the Ambient Intelligent Systems today is the lack of semantic models of those activities on the environment, so that the system can recognize the specific activity being performed by the user(s) and act accordingly. In this context, this thesis addresses the general problem of knowledge representation in Smart Spaces. The main objective is to develop knowledge-based models, equipped with semantics to learn, infer and monitor human behaviours in Smart Spaces. Moreover, it is easy to recognize that some aspects of this problem have a high degree of uncertainty, and therefore, the developed models must be equipped with mechanisms to manage this type of information. As an added value, this system should be sufficiently simple and flexible to be managed by non-expert users, and thus, facilitate the transfer of research to industry. To do this, we develop graphical models to represent human behaviour in Smart Spaces, in order to provide them with more usability in the final application. As a result, human behaviour recognition can help assisting people with special needs such as independent elders, in remote rehabilitation monitoring, industrial process guidelines, and many other cases.

Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security PDF Author: Michael Douglas Harrison
Publisher: Springer
ISBN: 3540876987
Category : Computers
Languages : en
Pages : 467

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008, held in Newcastle upon Tyne, UK, in September 2008. The 32 revised full papers presented together with 3 keynote papers and a panel session were carefully reviewed and selected from 115 submissions. The papers are organized in topical sections on software dependability, resilience, fault tolerance, security, safety cases, formal methods, dependability modelling, as well as security and dependability.

Architecting Critical Systems

Architecting Critical Systems PDF Author: Holger Giese
Publisher: Springer Science & Business Media
ISBN: 3642135552
Category : Computers
Languages : en
Pages : 203

Get Book Here

Book Description
This book constitutes the proceedings of the First International Symposium on Architecting Critical Systems, ISARCS 2010, held in Prague, Czech Republic, in June 2010.

Human Work Interaction Design: Designing for Human Work

Human Work Interaction Design: Designing for Human Work PDF Author: Torkil Clemmensen
Publisher: Springer
ISBN: 0387367926
Category : Computers
Languages : en
Pages : 254

Get Book Here

Book Description
This book records the very first Working Conference of the newly established IFIP Working Group on Human-Work Interaction Design, which was hosted by the University of Madeira in 2006. The theme of the conference was on synthesizing work analysis and design sketching, with a particular focus on how to read design sketches within different approaches to analysis and design of human-work interaction. Authors were encouraged to submit papers about design sketches - for interfaces, for organizations of work etc. - that they themselves had worked on. During the conference, they presented the lessons they had learnt from the design and evaluation process, citing reasons for why the designs worked or why they did not work. Researchers, designers and analysts in this way confronted concrete design problems in complex work domains and used this unique opportunity to share their own design problems and solutions with the community. To successfully practice and do research within Human - Work Interaction Design requires a high level of personal skill, which the conference aimed at by confronting designers and work analysts and those whose research is both analysis and design. They were asked to collaborate in small groups about analysis and solutions to a common design problem.