Search results for "ADL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Clemens Schäfer	Modeling and Analyzing Mobile Software Architectures.	EWSA	2006	DBLP DOI BibTeX RDF
11	Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, T. John Brown	Towards More Flexible Architecture Description Languages for Industrial Applications.	EWSA	2006	DBLP DOI BibTeX RDF	Software Architecture, Architecture Description Languages, Architectural Patterns
11	Kingshuk Karuri, Rainer Leupers, Gerd Ascheid, Heinrich Meyr, Monu Kedia	Design and implementation of a modular and portable IEEE 754 compliant floating-point unit.	DATE Designers' Forum	2006	DBLP DOI BibTeX RDF
11	Marta Rey-López, Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias	Providing SCORM with adaptivity.	WWW	2006	DBLP DOI BibTeX RDF	AH, adaptivity, e-learning, SCORM
11	Didier Hoareau, Yves Mahéo	Constraint-Based Deployment of Distributed Components in a Dynamic Network.	ARCS	2006	DBLP DOI BibTeX RDF
11	Marta Rey-López, Ana Fernández Vilas, Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Jesús Bermejo Muñoz	Extending SCORM to Create Adaptive Courses.	EC-TEL	2006	DBLP DOI BibTeX RDF
11	Jennifer Pérez, Nour Ali, José A. Carsí, Isidro Ramos	Designing Software Architectures with an Aspect-Oriented Architecture Description Language.	CBSE	2006	DBLP DOI BibTeX RDF
11	Chitra Dorai, Robert G. Farrell, Amy Katriel, Galina Kofman, Ying Li, Youngja Park	MAGICAL demonstration: system for automated metadata generation for instructional content.	ACM Multimedia	2006	DBLP DOI BibTeX RDF	SCORM metadata, analysis and indexing, instructional content
11	Shifeng Zhang	Integrating Non-Functional Properties to Architecture Specification and Analysis.	ITNG	2006	DBLP DOI BibTeX RDF
11	Stéphane Faulkner, Manuel Kolp, Yves Wautelet, Youssef Achbany	A Formal Description Language for Multi-Agent Architectures.	AOIS	2006	DBLP DOI BibTeX RDF
11	Carlos Enrique Cuesta Quintero, María del Pilar Romay, Pablo de la Fuente, Manuel Barrio-Solórzano	Temporal Superimposition of Aspects for Dynamic Software Architecture.	FMOODS	2006	DBLP DOI BibTeX RDF
11	Birim Balci, Mustafa Murat Inceoglu	Reusable Learning Objects (RLOs) for Computer Science Students.	ICCSA (1)	2006	DBLP DOI BibTeX RDF
11	Bruno Bouchard 0001, Abdenour Bouzouane, Sylvain Giroux	A smart home agent for plan recognition.	AAMAS	2006	DBLP DOI BibTeX RDF	description logic, smart home, plan recognition, lattice theory
11	Arturo Rodríguez Vázquez, Yulia Ostróvskaya	Analysis of Open Technological Standards for Learning Objects.	LA-WEB	2006	DBLP DOI BibTeX RDF
11	Frédéric Pourraz, Hervé Verjus	Managing Service-Based EAI Architectures Evolution Using a Formal Architecture-Centric Approach.	ICEIS (Selected Papers)	2006	DBLP DOI BibTeX RDF
11	Rodolfo Azevedo, Sandro Rigo, Marcus Bartholomeu, Guido Araujo, Cristiano C. de Araújo, Edna Barros	The ArchC Architecture Description Language and Tools.	Int. J. Parallel Program.	2005	DBLP DOI BibTeX RDF	ISA simulator, Architecture description language, SystemC, compiled simulation
11	Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng	Improving system dependability by enforcing architectural intent.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
11	Gerald Kotonya, John Edward Hutchinson	Analysing the Impact of Change in COTS-Based Systems.	ICCBSS	2005	DBLP DOI BibTeX RDF
11	Ronaldo Luna, William T. Lawrence, John M. Sullivan, Richard H. Hall, Michael G. Hilgers, Matt Buechler	Learning system to introduce GIS to civil engineers.	SAC	2005	DBLP DOI BibTeX RDF	web usability and accessibility, webbased, usability, GIS, e-Learning, web engineering, civil engineering
11	Tun Li, Dan Zhu, Yang Guo 0003, GongJie Liu, Sikun Li	MA2TG: A Functional Test Program Generator for Microprocessor Verification.	DSD	2005	DBLP DOI BibTeX RDF
11	Didier Hoareau, Yves Mahéo	Propagative Deployment of Hierarchical Components in a Dynamic Network.	Component Deployment	2005	DBLP DOI BibTeX RDF
11	Pythagoras Karampiperis, Demetrios G. Sampson	Designing learning services: from content-based to activity-based learning systems.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	architectures, reusability, authoring tools, learning design, learning activities
11	Oliver Schliebusch, Anupam Chattopadhyay, David Kammler, Gerd Ascheid, Rainer Leupers, Heinrich Meyr, Tim Kogel	A framework for automated and optimized ASIP implementation supporting multiple hardware description languages.	ASP-DAC	2005	DBLP DOI BibTeX RDF
11	Tun Li, Dan Zhu, Lei Liang, Yang Guo 0003, Sikun Li	Automatic functional test program generation for microprocessor verification.	ASP-DAC	2005	DBLP DOI BibTeX RDF
11	Pythagoras Karampiperis, Demetrios G. Sampson	Towards Next Generation Activity-Based Web-Based Educational Systems.	ICALT	2005	DBLP DOI BibTeX RDF
11	Jaw-Hua Liu, Bing-Shun Huang, Ming Chao	The Design of Learning Object Authoring Tool Based on SCORM.	ICALT	2005	DBLP DOI BibTeX RDF
11	Young-Jun Seo, Young-Jae Song, Hwa-Young Jeong	ACME-Based Connector Interface Considering Component Important Factor.	SKG	2005	DBLP DOI BibTeX RDF
11	Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon	Rapid Development Methodology for Customized Middleware.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
11	J. A. L. Sanches, Patrícia Kayser Vargas, Inês de Castro Dutra, Vítor Santos Costa, Cláudio F. R. Geyer	ReGS: user-level reliability in a grid environment.	CCGRID	2005	DBLP DOI BibTeX RDF
11	Mohammad Mostafizur Rahman Mozumdar, Kingshuk Karuri, Anupam Chattopadhyay, Stefan Kraemer, Hanno Scharwächter, Heinrich Meyr, Gerd Ascheid, Rainer Leupers	Instruction Set Customization of Application Specific Processors for Network Processing: A Case Study.	ASAP	2005	DBLP DOI BibTeX RDF
11	Yuan Rao	Temporal Logical-Based Web Services Architecture Description.	GCC	2005	DBLP DOI BibTeX RDF
11	Dan Wu, Zhiying Wang 0003, Kui Dai	Retargetable Machine-Description System: Multi-layer Architecture Approach.	GCC	2005	DBLP DOI BibTeX RDF
11	Shifeng Zhang, Steve Goddard	xSADL: An Architecture Description Language to Specify Component-Based Systems.	ITCC (2)	2005	DBLP DOI BibTeX RDF	Component middleware technology, xADL, Finite State Processes, Software Architecture, Architecture Description Language
11	Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng	Modeling and implementing software architecture with acme and archJava.	ICSE	2005	DBLP DOI BibTeX RDF
11	Selma Matougui, Antoine Beugnard	How to Implement Software Connectors? A Reusable, Abstract and Adaptable Connector.	DAIS	2005	DBLP DOI BibTeX RDF
11	Gerald Kotonya, John Edward Hutchinson	Managing Change in COTS-Based Systems.	ICSM	2005	DBLP DOI BibTeX RDF	Components, Impact Analysis, Change, CBSE
11	Zhang Jingjun, Zhang Yang, Li Furong	Combinatorial model and aspect-oriented extension of architecture description language.	ITRE	2005	DBLP DOI BibTeX RDF
11	Haralambos Mouratidis, Manuel Kolp, Stéphane Faulkner, Paolo Giorgini	A secure architectural description language for agent systems.	AAMAS	2005	DBLP DOI BibTeX RDF	security, multiagent systems, architectural description languages
11	Guoqing Xu 0001, Zongyuan Yang, Haitao Huang	A basic model for components implementation of software architecture.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF	JCMP, JCMPL, triple-C pattern, software architecture, component
11	Prabhat Mishra 0001, Mahesh Mamidipaka, Nikil D. Dutt	Processor-memory coexploration using an architecture description language.	ACM Trans. Embed. Comput. Syst.	2004	DBLP DOI BibTeX RDF	Processor-memory codesign, memory exploration, design space exploration, architecture description language
11	Mourad Oussalah 0001, Adel Smeda, Tahar Khammaci	An Explicit Definition of Connectors for Component-Based Software Architecture.	ECBS	2004	DBLP DOI BibTeX RDF	component-based systems design, operational mechanisms, software architecture, components, connectors
11	Olivier Ratcliffe, Sorana Cîmpan, Flávio Oquendo, Luigi Scibile	Formalization of an HCI Style for Accelerator Restart Monitoring.	EWSA	2004	DBLP DOI BibTeX RDF
11	Radu Mateescu 0001	Model Checking for Software Architectures.	EWSA	2004	DBLP DOI BibTeX RDF
11	Carlos Enrique Cuesta Quintero, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano	Reflection-Based, Aspect-Oriented Software Architecture.	EWSA	2004	DBLP DOI BibTeX RDF
11	Prabhat Mishra 0001, Nikil D. Dutt	Functional Validation of Programmable Architectures.	DSD	2004	DBLP DOI BibTeX RDF
11	Barry Norton, Matt Fairtlough	Reactive Types for Dataflow-Oriented Software Architectures.	WICSA	2004	DBLP DOI BibTeX RDF
11	Guoqing Xu 0001, Zongyuan Yang, Haitao Huang	JCMP: Linking Architecture with Component Building.	APSEC	2004	DBLP DOI BibTeX RDF
11	Sunghwan Roh, Kyungrae Kim, Taewoong Jeon	Architecture Modeling Language based on UML2.0.	APSEC	2004	DBLP DOI BibTeX RDF
11	Wayne Wobcke	Model Theory for PRS-Like Agents: Modelling Belief Update and Action Attempts.	PRICAI	2004	DBLP DOI BibTeX RDF
11	Hassan Reza, Emanuel S. Grant	Model Oriented Software Architecture.	COMPSAC Workshops	2004	DBLP DOI BibTeX RDF
11	Barry W. Boehm, Jesal Bhuta, David Garlan, Eric Gradman, LiGuo Huang, Alexander Lam, Raymond J. Madachy, Nenad Medvidovic, Kenneth Meyer, Steven Meyers, Gustavo Pérez, Kirk Reinholtz, Roshanak Roshandel, Nicolas Rouquette	Using Empirical Testbeds to Accelerate Technology Maturity and Transition: The SCRover Experience.	ISESE	2004	DBLP DOI BibTeX RDF	SCRover, empirical testbeds, seeded defects, Empirical methods, technology evaluation, software dependability, architecture definition languages
11	Sandro Rigo, Guido Araujo, Marcus Bartholomeu, Rodolfo Azevedo	ArchC: A SystemC-Based Architecture Description Language.	SBAC-PAD	2004	DBLP DOI BibTeX RDF
11	Carlos de Salles Soares Neto, Rogério Ferreira Rodrigues, Luiz Fernando Gomes Soares	Architectural Description of QoS Provisioning for Multimedia Application Support.	MMM	2004	DBLP DOI BibTeX RDF
11	Jin-Tan Yang, Chun Yuan Tsai, Mei Sheng Chao, C. Y. Pan, W. C. Horng	Using RDF/RDFS to support Visualized Online Authoring Tool for Teachers.	AINA (2)	2004	DBLP DOI BibTeX RDF	Content Repository Management System (CRMS), RDF/RDFS, ontology, authoring tool, SCORM
11	Patrícia Kayser Vargas, Inês de Castro Dutra, Cláudio F. R. Geyer	Application partitioning and hierarchical management in grid environments.	Doctoral Symposium on Middleware	2004	DBLP DOI BibTeX RDF	scheduling, grid computing, application management
11	Andreas Billig, Susanne Busse, Andreas Leicher, Jörn Guy Süß	Platform Independent Model Transformation Based on Triple.	Middleware	2004	DBLP DOI BibTeX RDF
11	Robert Mark Greenwood, Dharini Balasubramaniam, Sorana Cîmpan, Graham N. C. Kirby, Kath Mickan, Ronald Morrison, Flávio Oquendo, Ian Robertson, Wykeen Seet, Bob Snowdon, Brian Warboys, Evangelos Zirintsis	Process Support for Evolving Active Architectures.	EWSPT	2003	DBLP DOI BibTeX RDF
11	José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger	A Mathematical Semantics for Architectural Connectors.	Generic Programming	2003	DBLP DOI BibTeX RDF
11	Sea Ling, Iman Poernomo, Heinz W. Schmidt	Describing Web Service Architectures through Design-by-Contract.	ISCIS	2003	DBLP DOI BibTeX RDF
11	Iman Poernomo, Ralf H. Reussner, Heinz W. Schmidt	Architectural Configuration with EDOC and .NET Component Services.	EUROMICRO	2003	DBLP DOI BibTeX RDF
11	Pablo Viana, Edna Barros, Sandro Rigo, Rodolfo Azevedo, Guido Araujo	Exploring Memory Hierarchy with ArchC.	SBAC-PAD	2003	DBLP DOI BibTeX RDF
11	Nenad Medvidovic, David S. Rosenblum, David F. Redmiles, Jason E. Robbins	Modeling software architectures in the Unified Modeling Language.	ACM Trans. Softw. Eng. Methodol.	2002	DBLP DOI BibTeX RDF	Wright, Unified Modeling Language, software architecture, object-oriented design, formal modeling, Object Constraint Language, C2, Rapide
11	Chengyu Sun, Divyakant Agrawal, Amr El Abbadi	Exploring Spatial Datasets with Histograms.	ICDE	2002	DBLP DOI BibTeX RDF	query selectivity estimation, browsing, spatial databases
11	Prabhat Mishra 0001, Nikil D. Dutt, Alexandru Nicolau, Hiroyuki Tomiyama	Automatic Verification of In-Order Execution In Microprocessors with Fragmented Pipelines and Multicycle Functional Units.	DATE	2002	DBLP DOI BibTeX RDF
11	Iman Poernomo, Ralf H. Reussner, Heinz W. Schmidt	Architectures of Enterprise Systems: Modelling Transactional Contexts.	Component Deployment	2002	DBLP DOI BibTeX RDF
11	Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet	Timing fault detection for safety-critical real-time embedded systems.	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
11	Robert Allen, Steve Vestal, Dennis Cornhill, Bruce A. Lewis	Using an architecture description language for quantitative analysis of real-time systems.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	fault-tolerant, real-time, software architecture, embedded
11	Eric M. Dashofy, André van der Hoek, Richard N. Taylor	An infrastructure for the rapid development of XML-based architecture description languages.	ICSE	2002	DBLP DOI BibTeX RDF	XML
11	Eric M. Dashofy, André van der Hoek, Richard N. Taylor	A Highly-Extensible, XML-Based Architecture Description Language.	WICSA	2001	DBLP DOI BibTeX RDF
11	Zhenyi Jin, Jeff Offutt	Deriving Tests From Software Architectures.	ISSRE	2001	DBLP DOI BibTeX RDF
11	Dan Marius Regep, Fabrice Kordon	LfP : A Specification Language for Rapid Prototyping of Concurrent Systems.	IEEE International Workshop on Rapid System Prototyping	2001	DBLP DOI BibTeX RDF	Modelling of embedded distributed systems, Automatic distributed program generation, Formal verification, UML extensions, ODP
11	Rick Kazman	Software Architecture - Minitrack Introduction.	HICSS	2001	DBLP DOI BibTeX RDF
11	David Garlan, Andrew Kompanek	Reconciling the Needs of Architectural Description with Object-Modeling Notations.	UML	2000	DBLP DOI BibTeX RDF
11	Axel Mönkeberg, René Rakete	Three for one: role-based access-control management in rapidly changing heterogeneous environments.	ACM Workshop on Role-Based Access Control	2000	DBLP DOI BibTeX RDF
11	Marlon E. R. Vieira, Marcio S. Dias, Debra J. Richardson	Analyzing software architectures with Argus-I.	ICSE	2000	DBLP DOI BibTeX RDF	architecture-based analysis, architecture-based testing, software architecture, software component, statecharts, ARGUS
11	Douglas Stuart, Wonhee Sull, T. W. Cook	Dependency Navigation in Product Lines Using XML.	IW-SAPF	2000	DBLP DOI BibTeX RDF
11	Marcio S. Dias, Marlon E. R. Vieira	Software Architecture Analysis Based on Statechart Semantics.	IWSSD	2000	DBLP BibTeX RDF	architecture-based analysis, architecture-based testing, Software architecture, software component, statecharts
11	Asuman Sünbül	Abstract State Machines for the Composition of Architectural Styles.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
11	David W. Oliver	ECBS in Concept Analysis and Organization Transformation.	ECBS	1999	DBLP DOI BibTeX RDF
11	David Garlan, Zhenyu Wang	Acme-Based Software Architecture Interchange.	COORDINATION	1999	DBLP DOI BibTeX RDF
11	Elena Messina, Christopher Dabrowski, Hui-Min Huang, John Horst	Representation of the RCS Reference Model Architecture Using an Architectural Description Language.	EUROCAST	1999	DBLP DOI BibTeX RDF
11	Sea Ling, Heinz W. Schmidt, Rohan Fletcher	Constructing Interoperable Components in Distributed Systems.	TOOLS (32)	1999	DBLP DOI BibTeX RDF	distributed systems, Components, design-by-contract