32 results
Search Results
2. Evaluating Domain Design Approaches Using Systematic Review.
- Author
-
de Souza Filho, Ednaldo Dilorenzo, de Oliveira Cavalcanti, Ricardo, Neiva, Danuza F. S., Oliveira, Thiago H. B., Lisboa, Liana Barachisio, de Almeida, Eduardo Santana, and de Lemos Meira, Silvio Romero
- Abstract
Software Product Lines are growing as a systematic way for achieving reuse in software companies. It involves three processes: domain engineering, application engineering and management. In domain engineering, assets that will be reused by products are developed, composing the core assets. In this context, the product line architecture, also called Domain Specific Software Architecture (DSSA), is an essential member in the collection of core assets. A good DSSA increases the probability of the success of applications that will be instantiated from it. In order to design a good DSSA, a process should be followed to manage domain΄s variability and commonality. On the other hand, companies that are moving from single system development to software product lines need systematic activities for taking advantage of existing assets to develop a DSSA. Thus, this paper presents a systematic review on domain design approaches, which can be useful for companies to understand the current scenario, and to choose a more suitable one or adapt them for their needs. [ABSTRACT FROM AUTHOR]
- Published
- 2008
- Full Text
- View/download PDF
3. A software modeling odyssey.
- Author
-
Gomaa, Hassan
- Abstract
According to OMG, “modeling is the designing of software applications before coding.” This paper describes a modeling approach to software design. The paper describes the key elements of design methods for component based software product lines, which promote reuse, variability management, and evolution. Approaches for executable models and performance analysis of concurrent and real-time design are discussed. Finally, some outstanding challenges are outlined, in particular the design of evolutionary and dynamically reconfigurable software architectures. [ABSTRACT FROM AUTHOR]
- Published
- 2006
- Full Text
- View/download PDF
4. The Impact of Digital Technologies on Public Health in Developed and Developing Countries. 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings.
- Author
-
Jmaiel, Mohamed, Abdulrazak, Bessam, Aloulou, Hamdi, Jmaiel, Mohamed, Kallel, Slim, and Mokhtari, Mounir
- Subjects
Artificial intelligence ,Expert systems / knowledge-based systems ,Information retrieval ,Network hardware ,Systems analysis & design ,User interface design & usability ,Artificial Intelligence ,Computer Communication Networks ,Computer System Implementation ,Computer and Information Systems Applications ,Information Systems Applications (incl. Internet) ,Internet of Things ,Internet searching ,IoT ,Special Purpose and Application-Based Systems ,User Interfaces and Human Computer Interaction ,artificial intelligence ,communication systems ,computer vision ,databases ,hci ,human-computer interaction ,image processing ,machine learning ,network protocols ,open access ,sensors ,signal processing ,software architecture ,software design ,telecommunication networks ,telecommunication systems ,user interfaces ,wireless telecommunication systems - Abstract
Summary: This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2020, held in Hammamet, Tunisia, in June 2020.* The 17 full papers and 23 short papers presented in this volume were carefully reviewed and selected from 49 submissions. They cover topics such as: IoT and AI solutions for e-health; biomedical and health informatics; behavior and activity monitoring; behavior and activity monitoring; and wellbeing technology. *This conference was held virtually due to the COVID-19 pandemic.
5. Participative Urban Health and Healthy Aging in the Age of AI. 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings.
- Author
-
Aloulou, Hamdi, Abdulrazak, Bessam, Aloulou, Hamdi, Mokhtari, Mounir, and de Marassé-Enouf, Antoine
- Subjects
Computer vision ,Information retrieval ,Information technology: general issues ,Network hardware ,Software Engineering ,User interface design & usability ,Human-Computer Interaction (HCI) ,Internet of Things (IoT) ,architecture types ,artificial intelligence ,communication systems ,computer hardware ,computer networks ,computer science ,computer systems ,engineering ,internet ,network protocols ,sensors ,signal processing ,software architecture ,software design ,software engineering ,telecommunication systems ,ubiquitous computing ,user interfaces - Abstract
Summary: This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2022, held in Paris, France, in June 2022. The 15 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 33 submissions. They cover topics such as design, development, deployment, and evaluation of AI for health, smart urban environments, assistive technologies, chronic disease management, and coaching and health telematics systems.
6. Designing Interaction Spaces for Rich Internet Applications with UML.
- Author
-
Dolog, Peter and Stage, Jan
- Abstract
In this paper, we propose a new method for designing rich internet applications. The design process uses results from an object-oriented analysis and employs interaction spaces as the basic abstraction mechanism. State diagrams are employed as refinements of interaction spaces and task models to specify synchronization events and follow up actions on the client and server side. The notation is based on UML. [ABSTRACT FROM AUTHOR]
- Published
- 2007
- Full Text
- View/download PDF
7. Frontiers of Combining Systems
- Author
-
Sattler, Uli and Suda, Martin
- Subjects
artificial intelligence ,computer networks ,automated reasoning ,computer systems ,description logics ,formal languages ,formal logic ,constraint solving ,decision procedures ,network protocols ,ontologies ,semantics ,software architecture ,software design ,software engineering ,software quality ,verification and validation ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation - Abstract
This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023. The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving. This is an open access book.
- Published
- 2023
- Full Text
- View/download PDF
8. Comparing Two Software Design Process Theories.
- Author
-
Ralph, Paul
- Abstract
This paper explores an ongoing conflict concerning the nature of software design. This conflict manifests itself as antagonism between managers and developers, debates about agile vs. plan-driven methodologies and aspiring developers΄ dissatisfaction with their courses. One side views design as a plan-driven information processing task involving rational decision-making (the Reason-Centric Perspective), while the other views design as an improvised, creative task involving naturalized decision-making (Action-Centric Perspective). Each perspective includes an epistemology, theory of human action and a software design process theory (an explanation of how software is created in practice). This paper reports the results of an exploratory questionnaire study that comparatively and empirically evaluated the two process theories. Results clearly favor the Action-Centric process theory: the Sensemaking-Coevolution-Implementation Framework. [ABSTRACT FROM AUTHOR]
- Published
- 2010
- Full Text
- View/download PDF
9. Software Design Course for Leading CS In-Service Teachers.
- Author
-
Brandes, Ofra, Vilner, Tamar, and Zur, Ela
- Abstract
The Computer Science (CS) discipline is continually developing. Consequently there are frequent changes in curricula and their implementations. The CS teachers, who usually work in schools alone or in small teams, are seriously challenged by the changes, since all their teaching materials and pedagogical methods have to be revised. In Israel, the secondary school CS program has recently shifted from the procedural to the OOP paradigm. This paper discusses an approach taken to address the ensuing difficulties, namely a course for leading teachers. The paper describes the rationale of leading teachers, and a course conducted for them in an advanced unit in the CS program. The main purpose of the course was to develop a professional leadership of CS teachers who can support and contribute to their peers. The paper describes the expectations of the course; its progress; and the conclusions about its success obtained by analyzing data collected during the course. [ABSTRACT FROM AUTHOR]
- Published
- 2010
- Full Text
- View/download PDF
10. An Example of the Retrospective Patterns-Based Documentation of a Software System.
- Author
-
Siddle, James
- Abstract
An example pattern-based documentation that was created retrospectively from pattern applications on an industrial project is presented. In addition to the example documentation, the paper examines the approach taken, divergence of the documentation from the real system, benefits, liabilities, and applicability of the approach. The paper closes by drawing conclusions from the experience of creating the documentation. [ABSTRACT FROM AUTHOR]
- Published
- 2009
- Full Text
- View/download PDF
11. An Interactive System Based on Semantic Graphs.
- Author
-
Vandromme, Johann, Degrande, Samuel, Plénacoste, Patricia, and Chaillou, Christophe
- Abstract
This paper introduces an original method towards post-WIMP desktops. Our main contribution involves a new way of organizing desktops with respect of the Instrumental Interaction model and relies on semantic graphs. A semantic graph expresses semantic dependencies of documents or components like a scene graph expresses geometrical dependency. This structure allows users to visualize the desktop given a chosen criterion. We also propose polymorphic tools that enable Direct Manipulation: tools directly modify the semantic visual factor leading to a semantic modification of object. A prototype is proposed to illustrate this concept. [ABSTRACT FROM AUTHOR]
- Published
- 2009
- Full Text
- View/download PDF
12. Reasoning about System-Degradation and Fault-Recovery with Deontic Logic.
- Author
-
Castro, Pablo F. and Maibaum, T. S. E.
- Abstract
In this paper we outline the main characteristics of a deontic logic, which we claim is useful for the modeling of and reasoning about fault-tolerance and related concepts. Towards this goal, we describe a temporal extension of this formalism together with some of its properties. We use two different examples to show how some fault-tolerance concepts (like fault-recovery and system degradation) can be expressed using deontic constructs. The second example demonstrates how contrary-to-duty reasoning (when a secondary obligation arises from the violation of a primary obligation) is applied in fault-tolerant scenarios. [ABSTRACT FROM AUTHOR]
- Published
- 2009
- Full Text
- View/download PDF
13. Genetic Synthesis of Software Architecture.
- Author
-
Räihä, Outi, Koskimies, Kai, and Mäkinen, Erkki
- Abstract
Design of software architecture is intellectually one of the most demanding tasks in software engineering. This paper proposes an approach to automatically synthesize software architecture using genetic algorithms. The technique applies architectural patterns for mutations and quality metrics for evaluation, producing a proposal for a software architecture on the basis of functional requirements given as a graph of functional responsibilities. Two quality attributes, modifiability and efficiency, are considered. The behavior of the genetic synthesis process is analyzed with respect to quality improve ment speed, the effect of dynamic mutation, and the effect of quality attribute prioritization. Our tests show that it is possible to genetically synthesize architectures that achieve a high fitness value early on. [ABSTRACT FROM AUTHOR]
- Published
- 2008
- Full Text
- View/download PDF
14. Participative Urban Health and Healthy Aging in the Age of AI
- Author
-
Aloulou, Hamdi, Abdulrazak, Bessam, de Marassé-Enouf, Antoine, and Mokhtari, Mounir
- Subjects
architecture types ,artificial intelligence ,communication systems ,computer hardware ,computer networks ,computer science ,computer systems ,engineering ,Human-Computer Interaction (HCI) ,internet ,Internet of Things (IoT) ,network protocols ,sensors ,signal processing ,software architecture ,software design ,software engineering ,telecommunication systems ,ubiquitous computing ,user interfaces ,bic Book Industry Communication::U Computing & information technology::UK Computer hardware::UKN Network hardware ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UN Databases::UNH Information retrieval ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYZ Human-computer interaction::UYZG User interface design & usability ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ,bic Book Industry Communication::U Computing & information technology::UB Information technology: general issues - Abstract
This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2022, held in Paris, France, in June 2022. The 15 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 33 submissions. They cover topics such as design, development, deployment, and evaluation of AI for health, smart urban environments, assistive technologies, chronic disease management, and coaching and health telematics systems.
- Published
- 2022
- Full Text
- View/download PDF
15. Computer Aided Verification
- Author
-
Shoham, Sharon and Vizel, Yakir
- Subjects
architecting ,architecture verification and validation ,artificial intelligence ,computer programming ,computer science ,computer systems ,databases ,distributed computer systems ,embedded systems ,engineering ,formal languages ,formal logic ,linguistics ,mathematics ,model checking ,software architecture ,software design ,software engineering ,software quality ,theoretical computer science ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UY Computer science - Abstract
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
- Published
- 2022
- Full Text
- View/download PDF
16. Automated Reasoning
- Author
-
Blanchette, Jasmin, Kovács, Laura, and Pattinson, Dirk
- Subjects
artificial intelligence ,automata theory ,computer hardware ,computer networks ,computer programming ,computer systems ,embedded systems ,formal languages ,formal logic ,logic programming ,network protocols ,semantics ,software architecture ,software design ,software engineering ,theoretical computer science ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development - Abstract
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book.
- Published
- 2022
- Full Text
- View/download PDF
17. Security in Computer and Information Sciences
- Author
-
Gelenbe, Erol, Jankovic, Marija, Kehagias, Dionysios, Marton, Anna, and Vilmos, Andras
- Subjects
architecture types ,artificial intelligence ,communication systems ,computer crime ,computer hardware ,computer networks ,computer security ,computer systems ,cryptography ,data security ,Internet of Things (IoT) ,network protocols ,network security ,signal processing ,software architecture ,software design ,software engineering ,telecommunication networks ,telecommunication systems ,bic Book Industry Communication::U Computing & information technology::UR Computer security ,bic Book Industry Communication::U Computing & information technology::UN Databases::UNH Information retrieval ,bic Book Industry Communication::U Computing & information technology::UK Computer hardware::UKN Network hardware ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UB Information technology: general issues::UBL Legal aspects of IT ,bic Book Industry Communication::G Reference, information & interdisciplinary subjects::GP Research & information: general::GPJ Coding theory & cryptology - Abstract
This open access book constitutes the thoroughly refereed proceedings of the Second International Symposium on Computer and Information Sciences, EuroCybersec 2021, held in Nice, France, in October 2021. The 9 papers presented together with 1 invited paper were carefully reviewed and selected from 21 submissions. The papers focus on topics of security of distributed interconnected systems, software systems, Internet of Things, health informatics systems, energy systems, digital cities, digital economy, mobile networks, and the underlying physical and network infrastructures. This is an open access book.
- Published
- 2022
- Full Text
- View/download PDF
18. Automated Deduction – CADE 28
- Author
-
Platzer, André and Sutcliffe, Geoff
- Subjects
Artificial Intelligence ,Mathematical Logic and Formal Languages ,Logics and Meanings of Programs ,Software Engineering ,Formal Languages and Automata Theory ,Computer Science Logic and Foundations of Programming ,automata theory ,boolean functions ,computer programming ,first order logic ,formal languages ,formal logic ,logic programming ,model checking ,program verification ,semantics ,software architecture ,software design ,software quality ,software verification ,theorem provers ,theorem proving ,Mathematical theory of computation ,Computer programming / software engineering ,Computer architecture & logic design ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering - Abstract
This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
- Published
- 2021
- Full Text
- View/download PDF
19. Computer Aided Verification
- Author
-
Silva, Alexandra and Leino, K. Rustan M.
- Subjects
architecture verification ,artificial intelligence ,computer programming ,distributed computer systems ,distributed systems ,embedded systems ,formal logic ,formal methods ,formal verifications ,model checker ,model checking ,signal processing ,software architecture ,software design ,software engineering ,software quality ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYM Computer modelling & simulation - Abstract
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.
- Published
- 2021
- Full Text
- View/download PDF
20. Fundamental Approaches to Software Engineering
- Author
-
Wehrheim, Heike and Cabot, Jordi
- Subjects
Software Engineering ,Special Purpose and Application-Based Systems ,Control Structures and Microprogramming ,Computer System Implementation ,Information Systems and Communication Service ,Artificial Intelligence ,open access ,software engineering ,requirements engineering ,model-based design ,software analysis ,testing ,software architectures ,security ,model transformations ,software evolution ,software product lines ,architecting ,artificial intelligence ,computer programming ,computer systems ,embedded systems ,mathematics ,software architecture ,software design ,Expert systems / knowledge-based systems ,Algorithms & data structures ,Systems analysis & design ,Computer networking & communications ,Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYD Systems analysis & design ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence - Abstract
This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.
- Published
- 2020
- Full Text
- View/download PDF
21. Computer Aided Verification
- Author
-
Lahiri, Shuvendu K. and Wang, Chao
- Subjects
Software Engineering ,Theory of Computation ,Computer Systems Organization and Communication Networks ,Artificial Intelligence ,Information Systems and Communication Service ,Computer Hardware ,Computer Engineering and Networks ,Database Management System ,architecture verification and validation ,artificial intelligence ,computer hardware ,computer networks ,computer programming ,computer systems ,data security ,distributed computer systems ,embedded systems ,formal logic ,linguistics ,model checking ,network protocols ,parallel processing systems ,signal processing ,software architecture ,software design ,software quality ,verification and validation ,Open Access ,Computer science ,Mathematical theory of computation ,Computer networking & communications ,Artificial intelligence ,Computer hardware ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UY Computer science ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UK Computer hardware - Abstract
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
- Published
- 2020
- Full Text
- View/download PDF
22. The Impact of Digital Technologies on Public Health in Developed and Developing Countries
- Author
-
Jmaiel, Mohamed, Mokhtari, Mounir, Abdulrazak, Bessam, Aloulou, Hamdi, and Kallel, Slim
- Subjects
Computer Communication Networks ,Artificial Intelligence ,Information Systems Applications (incl. Internet) ,Special Purpose and Application-Based Systems ,Computer System Implementation ,User Interfaces and Human Computer Interaction ,Computer and Information Systems Applications ,open access ,artificial intelligence ,communication systems ,computer vision ,databases ,hci ,human-computer interaction ,image processing ,Internet of Things ,IoT ,machine learning ,network protocols ,sensors ,signal processing ,software architecture ,software design ,telecommunication networks ,telecommunication systems ,user interfaces ,wireless telecommunication systems ,Network hardware ,Artificial intelligence ,Information retrieval ,Internet searching ,Expert systems / knowledge-based systems ,Systems analysis & design ,User interface design & usability ,bic Book Industry Communication::U Computing & information technology::UK Computer hardware::UKN Network hardware ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UN Databases::UNH Information retrieval ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYD Systems analysis & design ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYZ Human-computer interaction::UYZG User interface design & usability - Abstract
This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2020, held in Hammamet, Tunisia, in June 2020.* The 17 full papers and 23 short papers presented in this volume were carefully reviewed and selected from 49 submissions. They cover topics such as: IoT and AI solutions for e-health; biomedical and health informatics; behavior and activity monitoring; behavior and activity monitoring; and wellbeing technology. *This conference was held virtually due to the COVID-19 pandemic.
- Published
- 2020
- Full Text
- View/download PDF
23. Tools and Algorithms for the Construction and Analysis of Systems
- Author
-
Biere, Armin and Parker, David
- Subjects
Software Engineering/Programming and Operating Systems ,Special Purpose and Application-Based Systems ,Computer System Implementation ,Control Structures and Microprogramming ,Mathematics of Computing ,open access ,specification and verification techniques ,software and hardware verification ,SAT and SMT solving ,theorem proving ,model checking ,static and dynamic program analysis ,testing ,system construction and transformation techniques ,tool environments and tool architectures ,abstraction techniques for modeling and verification ,compositional and refinement-based methodologies ,mathematics ,software engineering ,software design ,architecting ,software architecture ,embedded systems ,automata theory ,linguistics ,Software Engineering ,Operating systems ,Expert systems / knowledge-based systems ,Systems analysis & design ,Algorithms & data structures ,Mathematical theory of computation ,Maths for computer scientists ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYD Systems analysis & design ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation - Abstract
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
- Published
- 2020
- Full Text
- View/download PDF
24. Hardware Abstraction Layer.
- Author
-
Popovici, Katalin and Jerraya, Ahmed
- Abstract
Embedded software is playing an increasing role in heterogeneous Multi-Processor System-on-Chip (MPSoC) architectures due to its high complexity. In order to reduce the long and fastidious design process, embedded software needs to be reused over several MPSoCs. Thus, software portability becomes a key challenge. In this chapter, we present a clear separation between the hardware independent and the hardware dependent software layers, through adopting a multi-layered organization of the software stack. We introduce a component based software design flow, which allows the gradual generation and validation of the various software layers to obtain the final software stack. Then, by changing the Hardware Abstraction Layer (HAL), the software stack can be executed on different MPSoC architectures. The HAL represents the lowest software layer, which totally depends on the target architecture. The HAL abstraction, through the use of well defined HAL APIs, makes easier the software portability and enables flexibility. The paper shows that the HAL APIs allow early software development before the hardware architecture is available, but also architecture exploration. The proposed methodology is applied to design the software stack for the Motion JPEG multimedia application and to execute it on diverse processors by changing the HAL and preserving the HAL APIs. [ABSTRACT FROM AUTHOR]
- Published
- 2009
- Full Text
- View/download PDF
25. Software Oriented Stream Ciphers Based upon FCSRs in Diversified Mode.
- Author
-
Berger, Thierry P., Minier, Marine, and Pousse, Benjamin
- Abstract
Feedback with Carry Shift Registers (FCSRs) are a promising alternative to LFSRs for the design of stream ciphers. Most of the FCSR-based stream ciphers use a Galois representation. In this case, the control of a single bit leads to the control of the feedback values. This particular property was exploited to break most of the existing proposals. Recently, a new representation for FCSR automata was presented. This representation is a generalization of both Galois and Fibonacci representations. In this representation any cell can be used for a feedback for any other cell. With a good choice for the parameters, those new FCSR automatas are resistant to the previous attacks and the internal diffusion is significantly improved. Using this approach, a new hardware oriented version of F-FCSR has been recently proposed. In this paper, we propose a new design for FCSRs suitable for software applications. Using this approach, we present a new version of X-FCSR-128 suitable for software applications which is really efficient in software. [ABSTRACT FROM AUTHOR]
- Published
- 2009
- Full Text
- View/download PDF
26. Potential Limitations of Multi-touch Gesture Vocabulary: Differentiation, Adoption, Fatigue.
- Author
-
Yee, Wendy
- Abstract
The majority of gestural interactions in consumer electronics currently represent ˵direct″ gestures related to the direct manipulation of onscreen objects. As gestural interactions extend beyond consumer electronics and become more prevalent in productivity applications, these gestures will need to address more abstract or ˵indirect″ actions. This paper addresses some of the usability concerns associated with indirect gestures and their potential limitations for the typical end-user. In addition, it outlines a number of considerations for the integration of abstract gestures with productivity workspaces. [ABSTRACT FROM AUTHOR]
- Published
- 2009
- Full Text
- View/download PDF
27. Computer Aided Verification
- Author
-
Enea, Constantin and Lal, Akash
- Subjects
architecture verification and validation ,artificial intelligence ,computer programming ,distributed computer systems ,formal logic ,embedded systems ,model checking ,programming languages ,software architecture ,software design ,software quality ,logic and verification ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications - Abstract
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
- Published
- 2023
- Full Text
- View/download PDF
28. Programming Languages and Systems
- Author
-
Sergey, Ilya
- Subjects
automata theory ,computer programming ,computer systems ,databases ,distributed computer systems ,distributed systems ,embedded systems ,formal languages ,formal logic ,linguistics ,ontologies ,parallel processing systems ,program compilers ,programming languages ,semantics ,software design ,software engineering ,software quality ,verification ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMX Programming & scripting languages: general ,bic Book Industry Communication::U Computing & information technology::UY Computer science ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures ,bic Book Industry Communication::U Computing & information technology::UK Computer hardware::UKN Network hardware ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development - Abstract
This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
- Published
- 2022
- Full Text
- View/download PDF
29. Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries
- Author
-
Crimi, Alessandro and Bakas, Spyridon
- Subjects
artificial intelligence ,bioinformatics ,computer science ,computer systems ,computer vision ,education ,image analysis ,image processing ,image segmentation ,learning ,machine learning ,medical images ,neural networks ,pattern recognition ,segmentation methods ,software design ,software engineering ,software quality ,validation ,verification and validation ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYT Image processing ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UB Information technology: general issues - Abstract
This two-volume set LNCS 12962 and 12963 constitutes the thoroughly refereed proceedings of the 7th International MICCAI Brainlesion Workshop, BrainLes 2021, as well as the RSNA-ASNR-MICCAI Brain Tumor Segmentation (BraTS) Challenge, the Federated Tumor Segmentation (FeTS) Challenge, the Cross-Modality Domain Adaptation (CrossMoDA) Challenge, and the challenge on Quantification of Uncertainties in Biomedical Image Quantification (QUBIQ). These were held jointly at the 23rd Medical Image Computing for Computer Assisted Intervention Conference, MICCAI 2020, in September 2021. The 91 revised papers presented in these volumes were selected form 151 submissions. Due to COVID-19 pandemic the conference was held virtually. This is an open access book.
- Published
- 2022
- Full Text
- View/download PDF
30. Programming Languages and Systems
- Author
-
Yoshida, Nobuko
- Subjects
Programming Languages, Compilers, Interpreters ,Natural Language Processing (NLP) ,Software Engineering ,Logics and Meanings of Programs ,Computer Systems Organization and Communication Networks ,Compilers and Interpreters ,Computer Science Logic and Foundations of Programming ,Computer Engineering and Networks ,computer programming ,concurrency theory ,distributed computer systems ,formal logic ,lamdba calculi ,linguistics ,logic ,object-oriented programming ,parallel processing systems ,probabilistic programming ,process calculi ,program compilers ,semantics ,software design ,software quality ,theory ,types ,verification and validation ,Programming & scripting languages: general ,Compilers & interpreters ,Natural language & machine translation ,Computer programming / software engineering ,Computer architecture & logic design ,Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMX Programming & scripting languages: general ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications - Abstract
This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
- Published
- 2021
- Full Text
- View/download PDF
31. Programming Languages and Systems
- Author
-
Müller, Peter
- Subjects
Programming Languages, Compilers, Interpreters ,Computer Systems Organization and Communication Networks ,Control Structures and Microprogramming ,Information Systems and Communication Service ,Natural Language Processing (NLP) ,Theory of Computation ,artificial intelligence ,computer networks ,computer programming ,computer security ,distributed computer systems ,embedded systems ,formal languages ,formal logic ,linguistics ,mathematics ,model checking ,object-oriented programming ,parallel processing systems ,program compilers ,semantics ,software architecture ,software design ,software engineering ,software quality ,verification and validation ,Programming & scripting languages: general ,Compilers & interpreters ,Computer networking & communications ,Algorithms & data structures ,Natural language & machine translation ,Computer science ,Mathematical theory of computation ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMX Programming & scripting languages: general ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language & machine translation ,bic Book Industry Communication::U Computing & information technology::UY Computer science - Abstract
This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
- Published
- 2020
- Full Text
- View/download PDF
32. Evaluating Usability-Supporting Architecture Patterns: Reactions from Usability Professionals.
- Author
-
Luzcando, Edgardo, Bolchini, Davide, and Faiola, Anthony
- Abstract
Usability professionals and software engineers approach software design differently, which creates a communication gap that hinders effective usability design discussions. An online survey was conducted to evaluate how usability professionals react to Usability-Supporting Architecture Patterns (USAPs) as a potential way to bridge this gap. Members of the Usability Professionals Association (UPA) participated in a pretest-posttest control group design experiment where they answered questions about USAPs and software design. Results suggest that participants perceived USAPs as useful to account for usability in software architectures, recognizing the importance of the USAPs stated usability benefits. Additionally, results showed a difference in perception of the USAPs stated usability benefits between US and European participants. A better understanding of what the usability community thinks about USAPs can lead to their improvement as well as increased adoption by software engineers, which can lead to better integration of usability and HCI principles into software design. [ABSTRACT FROM AUTHOR]
- Published
- 2009
- Full Text
- View/download PDF
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.