Search results for "configuration"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Lejun Zhang, Wu Yang 0001, Wei Wang 0076, Lin Guo, Yongtian Yang	A Method to Enhance Service Survivability Based on Autonomous Configuration.	IMSCCS	2007	DBLP DOI BibTeX RDF	essential service, service survivability, autonomous configuration algorithm
28	Markus Bajohr, Tiziana Margaria	MaTRICS: A service-based management tool for remote intelligent configuration of systems.	Innov. Syst. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Environments for pervasive computing, Distributed systems, Service-Oriented Architectures, Communication protocols, Model Driven Design, Configuration systems
28	Erik Roland van der Meer, Andrzej Wasowski, Henrik Reif Andersen	Efficient interactive configuration of unbounded modular systems.	SAC	2006	DBLP DOI BibTeX RDF	interactive configuration, constraint satisfaction
28	Maria Fazio, Claudio E. Palazzi, Shirshanka Das, Mario Gerla	Automatic IP address configuration in VANETs.	Vehicular Ad Hoc Networks	2006	DBLP DOI BibTeX RDF	address configuration, VANET
28	Karen Zita Haigh, Srivatsan Varadarajan, Choon Yik Tang	Automatic Learning-based MANET Cross-Layer Parameter Configuration.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF	Cross-layer Parameter Adaptation, Mobile, Learning, Wireless, Auto-Configuration
28	Alvaro Segura, Iosu Arizkuren, Iñaki Aranburu, Iñaki Telleria	High quality parametric visual product configuration systems over the web.	Web3D	2005	DBLP DOI BibTeX RDF	visual configuration, E-commerce, rendering, Web3D
28	Vinod Cherian Joseph, Kyung-Hee Lee, Jae-Ho Lee, Woo-Sik Kim	Configuration Manager for Mobile Handset over WIPI.	DFMA	2005	DBLP DOI BibTeX RDF	User Interface, adaptive, Network, dynamic, Configuration, WIPI
28	Hongwei Zhang 0001, Anish Arora	GS3: scalable self-configuration and self-healing in wireless networks.	PODC	2002	DBLP DOI BibTeX RDF	cellular hexagons, geographyaware, mobility, scalability, locality, dynamics, self-stabilization, self-healing, self-configuration, multi-hop wireless networks
28	Frank Titze	Improvement of a configuration management system.	ICSE	2000	DBLP DOI BibTeX RDF	ODBC, Perl/TK, RCS, call and defect database, customer Web-access to defect-DB, multiple hosts operating systems, multiple target systems, customer, configuration management, client-server, CVS, Perl
28	Anastasia Kaltabani, Elsa Cardoso, Evangelia Tzifa, Panagiotis Demestichas, António Rito Silva, Miltiades E. Anagnostou	Service Logic Deployment and Distribution Configuration.	IS&N	1999	DBLP DOI BibTeX RDF	Distribution Configuration Languages, Optimisation Problems, Deployment, Service Creation
28	Mária Bieliková, Pavol Návrat	Modelling Versioned Hypertext Documents.	SCM	1998	DBLP DOI BibTeX RDF	hypertext document, hypertext document model, configuration, version
27	Ehab Al-Shaer, Adel El-Atawy, Taghrid Samak	Automated pseudo-live testing of firewall configuration enforcement.	IEEE J. Sel. Areas Commun.	2009	DBLP DOI BibTeX RDF
27	Iván Díaz, Cristian Popi, Olivier Festor, Juan Touriño, Ramon Doallo	Ontological Configuration Management for Wireless Mesh Routers.	IPOM	2009	DBLP DOI BibTeX RDF
27	Sihyung Lee, Tina Wong, Hyong S. Kim	Improving dependability of network configuration through policy classification.	DSN	2008	DBLP DOI BibTeX RDF
27	Kay Römer	Role-Based Self-configuration of Sensor Networks.	SSS	2007	DBLP DOI BibTeX RDF
27	Marcílio Mendonça, Donald D. Cowan, Toacy Cavalcante de Oliveira	A Process-Centric Approach for Coordinating Product Configuration Decisions.	HICSS	2007	DBLP DOI BibTeX RDF
27	Jules White, Douglas C. Schmidt, Krzysztof Czarnecki 0001, Christoph Wienands, Gunther Lenz, Egon Wuchner, Ludger Fiege	Automated Model-Based Configuration of Enterprise Java Applications.	EDOC	2007	DBLP DOI BibTeX RDF
27	Huoping Chen, Youssif B. Al-Nashif, Guangzhi Qu, Salim Hariri	Self-Configuration of Network Security.	EDOC	2007	DBLP DOI BibTeX RDF
27	Yang Qu, Juha-Pekka Soininen, Jari Nurmi	A parallel configuration model for reducing the run-time reconfiguration overhead.	DATE	2006	DBLP DOI BibTeX RDF
27	Hui Xu, Debao Xiao	A Common Ontology-Based Intelligent Configuration Management Model for IP Network Devices.	ICICIC (1)	2006	DBLP DOI BibTeX RDF
27	Jan Recker, Jan Mendling, Wil M. P. van der Aalst, Michael Rosemann	Model-Driven Enterprise Systems Configuration.	CAiSE	2006	DBLP DOI BibTeX RDF
27	Wolfgang Trumler, Robert Klaus, Theo Ungerer	Self-configuration Via Cooperative Social Behavior.	ATC	2006	DBLP DOI BibTeX RDF
27	Mara Nikolaidou, Anargyros Tsadimas, Nancy Alexopoulou, Alexandros Dais, Dimosthenis Anagnostopoulos	A UML Profile utilizing Enterprise Information System Configuration.	ICECCS	2006	DBLP DOI BibTeX RDF
27	Huizhan Yi, Xuejun Yang	Optimizing the Configuration of Dynamic Voltage Scaling Points in Real-Time Applications.	PATMOS	2005	DBLP DOI BibTeX RDF
27	Mijeom Kim, Mohan Kumar, Behrooz A. Shirazi	A Lightweight Scheme for Auto-configuration in Mobile Ad Hoc Networks.	IPDPS	2005	DBLP DOI BibTeX RDF
27	E. Syam Sundar Reddy, Vikram Chandrasekhar, Milagros Sashikánth, V. Kamakoti 0001, Narayanan Vijaykrishnan	Online Detection and Diagnosis of Multiple Configuration Upsets in LUTs of SRAM-Based FPGAs.	IPDPS	2005	DBLP DOI BibTeX RDF
27	Laurent Henocque, Nicolas Prcovic	Practically Handling Some Configuration Isomorphisms.	ICTAI	2004	DBLP DOI BibTeX RDF
27	Ravi Vaidyanathan, Latha A. Kant, Anthony J. McAuley, Michael Bereschinsky	Performance Modeling and Simulation of Dynamic and Rapid Auto-configuration Protocols for Ad-hoc Wireless Networks.	Annual Simulation Symposium	2003	DBLP DOI BibTeX RDF
27	Cuneyt Akinlar, A. Udaya Shankar, Sarit Mukherjee, David Braun	IP address configuration algorithms for routerless and single-router zeroconf networks.	ISCC	2002	DBLP DOI BibTeX RDF
27	Alexander Felfernig, Markus Zanker	Diagrammatic Acquisition of Functional Knowledge for Product Configuration Systems with the Unified Modeling Language.	Diagrams	2000	DBLP DOI BibTeX RDF
27	Honsoon Ku, Jan Forslow, Joon-gil Park	Web-based configuration management architecture for router networks.	NOMS	2000	DBLP DOI BibTeX RDF
27	Timo Soininen, Ilkka Niemelä	Developing a Declarative Rule Language for Applications in Product Configuration.	PADL	1999	DBLP DOI BibTeX RDF
27	Jeff Magee, Naranker Dulay	A Configuration Approach to Parallel Programming.	PARLE (2)	1991	DBLP DOI BibTeX RDF
26	Bert Valenzuela	A work of art: creating a site/classroom build from scratch.	SIGUCCS	2002	DBLP DOI BibTeX RDF	Arizona State University, Kix32, PC-Rdist, SID, default user profile, group policy, lab configuration, logon time, mandatory profile, site configuration, script, Windows, procedure, build, kerberos, lab management
26	I. A. Macfarlane, I. Reilly	Requirements traceability in an integrated development environment.	RE	1995	DBLP DOI BibTeX RDF	development environment support, Bell-Northern Research Integrated Development Environment, version control environment, configuration management environment, generic fine-grained design information management, new tool integration, formal specification, software tools, programming environments, systems analysis, configuration management, users, integrated development environment, file organisation, requirements traceability, project support environments, development systems
26	Robert A. Basta, William H. Greene	A system engineering methodology for predicting scalability of very large real-time databases.	ICECCS	1995	DBLP DOI BibTeX RDF	system engineering methodology, scalable system design, scalability prediction, very large real-time databases, real-time access, accurate performance analysis, implementation alternative evaluation, physical benchmark configuration, subset functionality, database configuration, upscale model, simulation, model, real-time systems, query processing, systems analysis, iterative methods, reconfigurable architectures, systems engineering, software performance evaluation, simulation results, very large databases, iterative process, performance data
26	Jinguo Liu, Shugen Ma, Yuechao Wang, Bin Li 0001	Network-based reconfiguration routes for a self-reconfigurable robot.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	reconfiguration route, network-based reconfiguration, configuration network, modular robot, self-reconfigurable robot
26	Hailin Feng, Chenxi Shao, Yi Xu	Fuzzy Reasoning Approach for Conceptual Design.	ISNN (2)	2008	DBLP DOI BibTeX RDF	Mechanical configuration, Spatial reasoning, Conceptual design, Fuzzy reasoning
26	Nieraj Singh, Celina Gibbs, Yvonne Coady	C-CLR: a tool for navigating highly configurable system software.	ACP4IS	2007	DBLP DOI BibTeX RDF	preprocessor directives, aspect-oriented programming, modularization, tools, structured programming, system configuration, conditional compilation
26	Shaun Cooper, Patricia J. Teller	Configuring a large LAN for TCP/IP, Appletalk, and IPX.	LCN	1995	DBLP DOI BibTeX RDF	Appletalk, IPX, network addressing, TCP/IP, local area networks, network managers, transport protocols, network protocol, LAN, computer network management, network configuration
26	Timothy Fraser, David F. Ferraiolo, Mikel L. Matthews, Casey Schaufler, Stephen Smalley, Robert Watson	Panel: which access control technique will provide the greatest overall benefit-Abstract.	SACMAT	2001	DBLP DOI BibTeX RDF
26	Trent Jaeger	Managing access control complexity using metrices.	SACMAT	2001	DBLP DOI BibTeX RDF
25	Ulf Asklund, Lars Bendix	A Software Configuration Management Course.	SCM	2003	DBLP DOI BibTeX RDF
24	Kai Chen 0005, Chuanxiong Guo, Haitao Wu, Jing Yuan, Zhenqian Feng, Yan Chen 0004, Songwu Lu, Wenfei Wu	Generic and automatic address configuration for data center networks.	SIGCOMM	2010	DBLP DOI BibTeX RDF	address configuration, graph isomorphism, data center networks
24	Ausama Yousef, Philipp Driess, Ali Diab 0001, Andreas Mitschele-Thiel	Comparative analysis of LHA, MANETconf and PROPHET stateful address auto-configuration protocols in ad hoc networks.	PE-WASUN	2009	DBLP DOI BibTeX RDF	auto-configuration protocols, ns2 simulation, ad hoc network
24	Philip J. Taylor, Timothy G. Griffin	A model of configuration languages for routing protocols.	PRESTO	2009	DBLP DOI BibTeX RDF	routing algebra, routing protocol configuration
24	Kang-Myo Kim, Hamid Mukhtar, Ki-Hyung Kim	Remote Configuration Mechanism for IP Based Ubiquitous Sensor Networks.	APNOMS	2009	DBLP DOI BibTeX RDF	sensor network management, remote configuration, 6LoWPAN
24	Theophilus Benson, Aditya Akella, David A. Maltz	Mining policies from enterprise network configuration.	Internet Measurement Conference	2009	DBLP DOI BibTeX RDF	configuration management
24	Magnús M. Halldórsson, Guy Kortsarz, Maxim Sviridenko	Min Sum Edge Coloring in Multigraphs Via Configuration LP.	IPCO	2008	DBLP DOI BibTeX RDF	Edge Scheduling, Configuration LP, Approximation Algorithms
24	Goetz Botterweck, Steffen Thiel, Ciarán Cawley, Daren Nestor, André Preußner	Visual Configuration in Automotive Software Product Lines.	COMPSAC	2008	DBLP DOI BibTeX RDF	Product Deriviation, Software Product Lines, Visualisation, Automotive, Variability Management, Product Configuration
24	Khaled Ghoneim, Jamal Bentahar	An Adaptive Configuration for Agent-Based Supply Network.	ITNG	2008	DBLP DOI BibTeX RDF	Supply Chain Configuration, Multi-Agent Systems, Negotiation, Auction, Contracting
24	Love Singhal, Sejong Oh, Eli Bozorgzadeh	Yield maximization for system-level task assignment and configuration selection of configurable multiprocessors.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	configuration selection, delay budgeting, process variation, task allocation, within-die variation, timing yield
24	Anita Sarma, David F. Redmiles, André van der Hoek	Empirical evidence of the benefits of workspace awareness in software configuration management.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	parallel work, evaluation, user experiments, conflicts, software configuration management, workspace awareness
24	Jinge Wang 0001, Qiang Wang, Qian Yu	Numeric-Symbolic Solutions to Analyses of Forward Position and Singularity Configuration for 3-RPS Parallel Mechanism.	ICIRA (2)	2008	DBLP DOI BibTeX RDF	forward position analyses, maneuverability, singularity configuration, Groebner base, parallel mechanism
24	Malik Jahan Khan, Mian M. Awais, Shafay Shamail	Achieving Self-configuration Capability in Autonomic Systems Using Case-Based Reasoning with a New Similarity Measure.	ICIC (3)	2007	DBLP DOI BibTeX RDF	Similarity measure, Autonomic computing, Case-based reasoning, Self-configuration
24	Ya-Yunn Su, Mona Attariyan, Jason Flinn	AutoBash: improving configuration management with operating system causality analysis.	SOSP	2007	DBLP DOI BibTeX RDF	configuration management, causality, speculative execution
24	Huoping Chen, Salim Hariri	An evaluation scheme of adaptive configuration techniques.	ASE	2007	DBLP DOI BibTeX RDF	network security, autonomic computing, system management, self-configuration, autonomic component
24	Larisa Sitorus, Shan Shan Cao, Jacob Buur	Tangible user interfaces for configuration practices.	TEI	2007	DBLP DOI BibTeX RDF	industrial configuration, refrigeration technicians, tangible user interface, work practice, user supportive, system maintenance
24	Yoonjin Kim, Ilhyun Park, Kiyoung Choi, Yunheung Paek	Power-conscious configuration cache structure and code mapping for coarse-grained reconfigurable architecture.	ISLPED	2006	DBLP DOI BibTeX RDF	coarse-grained reconfigurable architecture (CGRA), context pipelining, temporal mapping, low power, system-on-chip (SoC), loop pipelining, configuration cache, spatial mapping
24	Takeshi Imamura, Michiaki Tatsubori, Yuichi Nakamura 0003, Christopher Giblin	Web services security configuration in a service-oriented architecture.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	best practice pattern, security configuration, service-oriented architecture, model-driven architecture, web services security
24	Khalid El-Arini, Kevin S. Killourhy	Bayesian detection of router configuration anomalies.	MineNet	2005	DBLP DOI BibTeX RDF	router configuration, statistical anomaly detection
24	Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire	Automated Validation of Service Configuration on Network Devices.	MMNS	2004	DBLP DOI BibTeX RDF	network service management, automated configuration validation
24	Francis J. Mullany, Lester T. W. Ho, Louis G. Samuel, Holger Claussen 0001	Self-deployment, Self-configuration: Critical Future Paradigms for Wireless Access Networks.	WAC	2004	DBLP DOI BibTeX RDF	Radio access networks, cognizant networks, ecology modeling, game theory, cellular automata, self-organization, complexity theory, auto-configuration, self-deployment
24	Tien Nhut Nguyen, Ethan V. Munson, Cheng Thao	Fine-grained, structured configuration management for web projects.	WWW	2004	DBLP DOI BibTeX RDF	web engineering, version control, software configuration management
24	Emre Turkay, Aniruddha S. Gokhale, Balachandran Natarajan	Addressing the middleware configuration challenges using model-based techniques.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	middleware configuration, model-driven software synthesis, component middleware
24	Hae-ki Lee, Jae-sun Shim, Seung Lee, Jong-bu Kim	A Relationship of Configuration Management Requirements between KISEC and ISO/IEC 15408.	ICCSA (4)	2004	DBLP DOI BibTeX RDF	Assurance requirement, KISEC, configuration management, common criteria
24	Paul O'Connell, Rachel Jane McCrindle	Using SOAP to Clean up Configuration Management.	COMPSAC	2001	DBLP DOI BibTeX RDF	distributed software evolution, internet and web based systems, XML, Configuration management, SOAP, component-based software development
24	Lu Zhang 0023, Hong Mei 0001, Hong Zhu 0002	A Configuration Management System Supporting Component-Based Software Development.	COMPSAC	2001	DBLP DOI BibTeX RDF	software architecture, software component, configuration management, component-based software development
24	Jacky Estublier	Objects Control for Software Configuration Management.	CAiSE	2001	DBLP DOI BibTeX RDF	architecture, distribution, Version control, concurrent engineering, Software configuration management
24	E. James Whitehead Jr.	WebDAV and DeltaV: collaborative authoring, versioning, and configuration management for the Web.	Hypertext	2001	DBLP DOI BibTeX RDF	remote collaborative authoring, configuration management, version control
24	Alan D. Sloane	Modeling deployment and configuration of CORBA systems with UML (poster).	ICSE	2000	DBLP DOI BibTeX RDF	UML, UML, CORBA, system configuration
24	Jean-Marc Jézéquel	Reifying Variants in Configuration Management.	ACM Trans. Softw. Eng. Methodol.	1999	DBLP DOI BibTeX RDF	Mecure, SMDS, compilation technology, reifying variants, software configuration management, Eiffel, object-oriented analysis and design
24	Reidar Conradi, Bernhard Westfechtel	Version Models for Software Configuration Management.	ACM Comput. Surv.	1998	DBLP DOI BibTeX RDF	configuration rules, configurations, versions, changes, revisions, variants
24	Ulrich Junker	Constrained-Based Problem Decomposition for a Key Configuration Problem.	CP	1998	DBLP DOI BibTeX RDF	constraints on trees, key configuration, set variables, problem decomposition
24	T. Kessel, Michael Schlick, O. Stern	Modeling for Configuration Employing Hybrid Knowledge Representation.	ECBS	1996	DBLP DOI BibTeX RDF	configuration of vehicle bus systems, procedural versus declarative knowledge, knowledge representation, domain modeling
24	Michel Renovell, Florence Azaïs, Yves Bertrand	The multi-configuration: A DFT technique for analog circuits.	VTS	1996	DBLP DOI BibTeX RDF	multi-configuration technique, diagnosis facilities, 8/sup th/ order band pass filter, integrated circuit testing, design for testability, integrated circuit design, analog circuits, analogue integrated circuits, band-pass filters, DFT technique
24	Yi-Jing Lin, Steven P. Reiss	Configuration Management with Logical Structures.	ICSE	1996	DBLP BibTeX RDF	cooperative programming, prototype environment, programming environments, software reuse, software design, software reusability, modules, functions, configuration management, source code, computer aided software engineering, versions, classes, files, directories, logical structures
24	Daniele Piazza, John Kountouriotis, Michele d'Amico, Kapil R. Dandekar	A technique for antenna configuration selection for reconfigurable circular patch arrays.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
24	William Enck, Thomas Moyer, Patrick D. McDaniel, Subhabrata Sen, Panagiotis Sebos, Sylke Spoerel, Albert G. Greenberg, Yu-Wei Eric Sung, Sanjay G. Rao, William Aiello	Configuration management at massive scale: system design and experience.	IEEE J. Sel. Areas Commun.	2009	DBLP DOI BibTeX RDF
24	Muhammad Haroon, Marcus Handte, Pedro José Marrón	Generic Role Assignment: A Uniform Middleware Abstraction for Configuration of Pervasive Systems.	PerCom Workshops	2009	DBLP DOI BibTeX RDF
24	Simon N. Foley, William M. Fitzgerald	An Approach to Security Policy Configuration Using Semantic Threat Graphs. (PDF / PS)	DBSec	2009	DBLP DOI BibTeX RDF
24	Jules White, Brian Dougherty, Douglas C. Schmidt, David Benavides 0001	Automated reasoning for multi-step feature model configuration problems.	SPLC	2009	DBLP BibTeX RDF
24	Ludwig Seitz, Göran Selander, Erik Rissanen, Cao Ling, Babak Sadighi	Decentralized Access Control Management for Network Configuration.	J. Netw. Syst. Manag.	2008	DBLP DOI BibTeX RDF	XPath, XACML, NETCONF
24	Xin Zhang 0008, Pei Sun, Ying Huang, Wei Sun 0001	A Model-Driven Framework for Enabling Self-Service Configuration of Business Services.	ICWS	2008	DBLP DOI BibTeX RDF
24	Kurt Dietrich	A Secure and Reliable Platform Configuration Change Reporting Mechanism for Trusted Computing Enhanced Secure Channels.	ICYCS	2008	DBLP DOI BibTeX RDF
24	Mao Nakajima, Daisaku Seto, Minoru Watanabe	A 937.5 ns multi-context holographic configuration with a 30.75 mus retention time.	IPDPS	2008	DBLP DOI BibTeX RDF
24	Xuegong Ding	Product Configuration on the Semantic Web Using Multi-Agent.	ICNSC	2008	DBLP DOI BibTeX RDF
24	Pavel Dzitac, Abdul Md. Mazid	An Efficient Control Configuration Development for a High-speed Robotic Palletizing System.	RAM	2008	DBLP DOI BibTeX RDF
24	Raquel Lacuesta Gilaberte, Lourdes Peñalver Herrero	Automatic Configuration of Ad-Hoc Networks: Establishing unique IP Link-Local Addresses.	SECURWARE	2007	DBLP DOI BibTeX RDF
24	Christiane V. Pousa, Luís F. W. Góes, Carlos A. P. S. Martins	A Configuration Control Mechanism Based on Concurrency Level for a Reconfigurable Consistency Algorithm.	IPDPS	2007	DBLP DOI BibTeX RDF
24	Daisuke Arai, Kiyohito Yoshihara, Akira Idoue, Hiroki Horiuchi	Server Support Approach to Zero Configuration of Power Line Communication Modems and Coaxial Cable Modems.	APNOMS	2007	DBLP DOI BibTeX RDF
24	Jacques Henri Collet, Piotr Zajac	Resilience, Production Yield and Self-Configuration in the Future Massively Defective Nanochips.	IOLTS	2007	DBLP DOI BibTeX RDF
24	Hongxing Bai, Xi Chen 0036, Yu-Chi Ho, Xiaohong Guan	Information Coverage Configuration with Energy Preservation in Large Scale Wireless Sensor Networks.	CIT	2006	DBLP DOI BibTeX RDF
24	Zhi-qiang Jiang, Xi-lan Feng, Xue-wen Zong	CR-Oriented Research on Product Configuration Management Modeling based on PFSC for Aero Subcontract Production.	CSCWD	2006	DBLP DOI BibTeX RDF
24	Christian Janiesch, Alexander Dreiling, Ulrike Greiner, Sonia Lippe	Integrated Configuration of Enterprise Systems for Interoperability -- Towards Process Model and Business Document Specification Alignment.	EDOC	2006	DBLP DOI BibTeX RDF
24	Aaron B. Brown, Alexander Keller 0002, Joseph L. Hellerstein	A model of configuration complexity and its application to a change management system.	Integrated Network Management	2005	DBLP DOI BibTeX RDF
24	Seunghwa Lee, Eunseok Lee 0001	Context Awarable Self-configuration System for Distributed Resource Management.	IEA/AIE	2005	DBLP DOI BibTeX RDF
24	Tao Song, Calvin Ko, Chinyang Henry Tseng, Poornima Balasubramanyam, Anant Chaudhary, Karl N. Levitt	Formal Reasoning About a Specification-Based Intrusion Detection for Dynamic Auto-configuration Protocols in Ad Hoc Networks.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF	Ad hoc network, Intrusion Detection, Network Security, Formal reasoning
24	Rudy Deca, Omar Cherkaoui, Daniel Puche	A Validation Solution for Network Configuration.	CNSR	2004	DBLP DOI BibTeX RDF
24	Joaquín Gutiérrez, José Luis Gordillo, Isidro Lopez	Configuration and Construction of an Autonomous Vehicle for a Mining Task.	ICRA	2004	DBLP DOI BibTeX RDF