As network security threats become increasingly prominent, traditional defense mechanisms, which rely on prior knowledge, struggle to effectively counter unknown threats. This paper presents ChameleonNet, a network ar...
详细信息
ISBN:
(数字)9798331520298
ISBN:
(纸本)9798331520304
As network security threats become increasingly prominent, traditional defense mechanisms, which rely on prior knowledge, struggle to effectively counter unknown threats. This paper presents ChameleonNet, a network architecture based on the PINet framework that incorporates Dynamic Heterogeneous Redundancy (DHR). ChameleonNet consists of five distinct network modalities, making it difficult for attackers to simultaneously target multiple modalities. By leveraging redundant forwarding and a multi-modality arbitration mechanism, ChameleonNet enables proactive defense, effectively mitigating most network-layer attacks.
The proceedings contain 67 papers. The topics discussed include: a review of software operational profile in software reliability engineering;change impact analysis and propagation in service based business process ma...
ISBN:
(纸本)9781479954391
The proceedings contain 67 papers. The topics discussed include: a review of software operational profile in software reliability engineering;change impact analysis and propagation in service based business process management systems: preliminary results from a systematic review;documenting requirements specifications using natural language requirements boilerplates;maintenance decision making in problem and modification analysis phase using a knowledge-based model;requirements prioritization techniques and different aspects for prioritization: a systematic literature review protocol;systematic reviews in requirements engineering: a systematic review;acceptance test case driven component selection approach;contributing factors of successful software testing outsourcing;and evaluating vendor's performance in outsource software development risks using analytic hierarchy process technique.
The proceedings contain 18 papers. The topics discussed include: softwareengineering in developing communities;shared visual attention in collaborative programming: a descriptive analysis;ad-hoc leadership in agile s...
ISBN:
(纸本)9781605589664
The proceedings contain 18 papers. The topics discussed include: softwareengineering in developing communities;shared visual attention in collaborative programming: a descriptive analysis;ad-hoc leadership in agile software development environments;social software in global software development;Saros: an eclipse plug-in for distributed party programming;towards real-time integration;questions about object structure during coding activities;on the importance of understanding the strategies that developers use;toward proactive knowledge protection in community-basedsoftware development;exploring the human and organizational aspects of software cost estimation;exploring softwareengineering practices in small and medium-sized organizations;case study: studying human and social aspects of testing in a service-basedsoftware company;and supporting enterprise stakeholders in software projects.
The proceedings contain 58 papers. The topics discussed include: blueprint for real progress in softwareengineering;is there a happy marriage between softwareengineering and knowledgeengineering?;PAORE: package ori...
ISBN:
(纸本)0769520111
The proceedings contain 58 papers. The topics discussed include: blueprint for real progress in softwareengineering;is there a happy marriage between softwareengineering and knowledgeengineering?;PAORE: package oriented requirements elicitation;generalising the Z schema calculus: database schemas and beyond;academia and industry meet: some experiences of formal methods in practice;understanding how the requirements are implemented in source code;towards a sound modular model checking of collaboration-basedsoftware designs;controllability mechanism for object-oriented software testing;generating test oracle for role binding in multi-agent systems;a domain analysis method for software product lines based on scenarios, goals and features;developing relational navigation to effectively understand software;re-documenting, visualizing and understanding software system using DocLike viewer;and a method of implementing UML virtual machines with some constraints based on abstract state machines.
The proceedings contains 86 papers. The following topics are dealt with: design of complex computer-based systems;software testing and reliability;development environment architectures;system and software development ...
详细信息
ISBN:
(纸本)0818620412
The proceedings contains 86 papers. The following topics are dealt with: design of complex computer-based systems;software testing and reliability;development environment architectures;system and software development methodologies;computer systems architectures;software development techniques;algorithms for VLSI;knowledge-based systems;management of software development;embedded systems analysis;integration and testing;executable specifications;validation and verification;industrial computer-based systems;software analysis and design;VLSI design;rapid prototyping;computer systems communications;and meta-issues in softwareengineering.
The proceedings contain 20 papers. The topics discussed include: topic-based service integration in software systems;experimenting static analysis on proprietary code: an industrial perspective;analysing software arch...
ISBN:
(纸本)9781629933115
The proceedings contain 20 papers. The topics discussed include: topic-based service integration in software systems;experimenting static analysis on proprietary code: an industrial perspective;analysing software architecture of FLOSS projects for evolution and reusability;using genetic algorithm and neural networks in a goal finding application for evacuation;insight into the X86-64 bare PC application boot/load/run methodology;comparison and improvement for RGB and YUV color space based on k-means in image segmentation;an efficient scheme for non-clustered data broadcasting;a database-oriented approach for XACML implementation on role-based access control;modeling hierarchical data in SQL databases: introduction to an efficient development framework;architectural framework for web service dynamics: a layered approach;graph semantic based approach for quering semi-structured database system;and integrated infrastructures for knowledge-guided software evolution and adaptation.
Thec proceedings contain 41 papers. The topics discussed include: modeling change as a first-class entity;engineering large-scale software-intensive systems;an asset-based architecture design methodology for rapid tel...
详细信息
ISBN:
(纸本)0769527787
Thec proceedings contain 41 papers. The topics discussed include: modeling change as a first-class entity;engineering large-scale software-intensive systems;an asset-based architecture design methodology for rapid telecom service delivery platform development;prerequisites for successful architectural knowledge sharing;dynamic protocol aggregation and adaptation for service-oriented computing;influence control for dynamic reconfiguration;a formal model service-oriented design structure;Web service recommendation based on client-side performance estimation;supporting OO design heuristics;using stealth mixins to achieve modularity;suitability of object and aspect oriented languages for software maintenance;and reusable SW requirements development process: embedded SW industry experiences.
The proceedings contain 31 papers. The topics discussed include: assessing usability from formal user-interface designs;applying static analysis to large-scale, multi-threaded Java programs;pattern-based reuse of succ...
ISBN:
(纸本)0769512542
The proceedings contain 31 papers. The topics discussed include: assessing usability from formal user-interface designs;applying static analysis to large-scale, multi-threaded Java programs;pattern-based reuse of successful designs: usability of safety-critical systems;on the relationships of faults for Boolean specification based testing;on the effectiveness of mutation analysis as a black box testing technique;extending UML use case modelling to support graphical user interface design;testing Java monitors through deterministic execution;animation can show only the presence of errors, never their absence;component adaptation for web services;a framework for an active interface to characterise compositional security contracts of software components;evaluation of virtual world systems;developing software components with the UML, enterprise Java beans and Aspects;an agent-based approach to computer assisted code inspections;and capturing implicit softwareengineeringknowledge.
The proceedings contain 17 papers. The topics discussed include: enterprise ontology and the identification of business components;document-driven software design - a novel approach that should not be novel;principles...
ISBN:
(纸本)9789898111104
The proceedings contain 17 papers. The topics discussed include: enterprise ontology and the identification of business components;document-driven software design - a novel approach that should not be novel;principles for requirements processes at the dawn of the 21st century;creativity, automation and technology;service science for market services;open source software adoption in Beaumont hospital - anatomy of success and failure;representing languages in UML - a UML profile for language engineering;automated unit testing for agent systems;weak measurement theory and modified cognitive complexity measure;supporting design patterns in graph rewriting-based model transformation;defining and using a metamodel for document-centric development methodologies;and visual software modelling with extended rule-based model - a knowledge-based programming solution for general software design.
The proceedings contain 39 papers. The topics discussed include: assumption generation for software component verification;an approach to rapid prototyping of large multi-agent systems;generative design patterns;devia...
ISBN:
(纸本)0769517366
The proceedings contain 39 papers. The topics discussed include: assumption generation for software component verification;an approach to rapid prototyping of large multi-agent systems;generative design patterns;deviation analysis through model checking;experience report on automated procedure construction for deductive synthesis;generating product-lines of product-families;knowledge-based synthesis of numerical programs for simulation of rigid-body systems in physics-based animation;no Java without caffeine: a tool for dynamic analysis of Java programs;and constructing CORBA-supported Oracles for testing: a case study in automated software testing.
暂无评论