Search results for "ADL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Philippe Cuenot, Patrick Frey, Rolf Johansson 0002, Henrik Lönn, Yiannis Papadopoulos, Mark-Oliver Reiser, Anders Sandberg, David Servat, Ramin Tavakoli Kolagari, Martin Törngren, Matthias Weber 0001	The EAST-ADL Architecture Description Language for Automotive Embedded Software.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
19	Kimberly J. Wisneski, Michelle J. Johnson	Trajectory Planning for Functional Wrist Movements in an ADL-Oriented, Robot-Assisted Therapy Environment.	ICRA	2007	DBLP DOI BibTeX RDF
19	Carl-Johan Sjöstedt, De-Jiu Chen, Philippe Cuenot, Patrick Frey, Rolf Johansson 0002, Henrik Lönn, David Servat, Martin Törngren	Developing Dependable Automotive Embedded Systems using the EAST-ADL; representing continuous time systems in SysML.	EOOLT	2007	DBLP BibTeX RDF
19	Gabriele Röger, Bernhard Nebel	Expressiveness of ADL and Golog: Functions Make a Difference.	AAAI	2007	DBLP BibTeX RDF
19	Dunbo Cai, Jigui Sun, Minghao Yin	Making FF Faster in ADL Domains.	ICNC (2)	2007	DBLP DOI BibTeX RDF
19	Vladimir Lifschitz, Wanwan Ren	Variables in Action Descriptions: Merging C+ with ADL.	AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning	2007	DBLP BibTeX RDF
19	Mónica Pinto, Nadia Gámez, Lidia Fuentes	Towards the Architectural Definition of the Health Watcher System with AO-ADL.	EA@ICSE	2007	DBLP DOI BibTeX RDF
19	Alberto Rugnone, Francesco Poli, Enrico Vicario, Chris D. Nugent, Elena Tamburini, Cristiano Paggetti	A Visual Editor to Support the Use of Temporal Logic for ADL Monitoring.	ICOST	2007	DBLP DOI BibTeX RDF	Activity Daily Living, Patient Behavior Models, Model Checking, Temporal Logic
19	Henry N. Jerez, Giridhar Manepalli, Christophe Blanchi, Laurence W. Lannom	ADL-R: The First Instance of a CORDRA Registry.	D Lib Mag.	2006	DBLP DOI BibTeX RDF
19	Karen Palma, Yadran Eterovic, Juan Manuel Murillo	Extending the Rapide ADL to Specify Aspect Oriented Software Architectures.	SEDE	2006	DBLP BibTeX RDF
19	Mohamed Graiet, Mohamed Tahar Bhiri, Faïza Dammak, Jean-Pierre Giraudin	Adaptation d'UML2.0 à l'ADL Wright.	CAL	2006	DBLP BibTeX RDF
19	Joseph D'Errico, Wei Qin	Constructing portable compiled instruction-set simulators: an ADL-driven approach.	DATE	2006	DBLP DOI BibTeX RDF
19	Leonardo Cardoso, Alexandre Sztajnberg, Orlando Loques	Self-Adaptive Applications Using ADL Contracts.	SelfMan	2006	DBLP DOI BibTeX RDF
19	Jérôme Revillard, Sorana Cîmpan, Eric Benoit, Flávio Oquendo	Intelligent Instrument Design With ArchWare ADL.	MDB/MOMPES	2006	DBLP DOI BibTeX RDF
19	Daniel Ferrés, Horacio Rodríguez	TALP at GeoCLEF-2006: Experiments Using JIRS and Lucene with the ADL Feature Type Thesaurus.	CLEF (Working Notes)	2006	DBLP BibTeX RDF
19	Mohamed Graiet, Mohamed Tahar Bhiri, Jean-Pierre Giraudin, Noureddine Belkhatir	Architecture des systèmes avec la norme UML2.0 et l'ADL Wright.	INFORSID	2006	DBLP BibTeX RDF
19	John R. Steel	PFA implies ADL(ℝ).	J. Symb. Log.	2005	DBLP DOI BibTeX RDF
19	Jérôme Revillard, Sorana Cîmpan, Eric Benoit, Flávio Oquendo	Intelligent Instrument Design With ArchWare ADL.	WICSA	2005	DBLP DOI BibTeX RDF
19	Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira	Evaluation and Comparison of ADL Based Approaches for the Description of Dynamic of Software Architectures.	ICEIS (3)	2005	DBLP BibTeX RDF
19	Arnaud Cuccuru, Philippe Marquet, Jean-Luc Dekeyser	UML2 as an ADL Hierarchichal Hardware Modeling.	IFIP-WADL	2004	DBLP DOI BibTeX RDF
19	Vincent Debruyne, Françoise Simonot-Lion, Yvon Trinquet	EAST-ADL - An Architecture Description Language - Validation and Verification Aspects.	IFIP-WADL	2004	DBLP DOI BibTeX RDF
19	Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet	An ADL Centric Approach for the Formal Design of Real-Time Systems.	IFIP-WADL	2004	DBLP DOI BibTeX RDF
19	Manuel Hohenauer, Hanno Scharwächter, Kingshuk Karuri, Oliver Wahlen, Tim Kogel, Rainer Leupers, Gerd Ascheid, Heinrich Meyr, Gunnar Braun, Hans van Someren 0001	A Methodology and Tool Suite for C Compiler Generation from ADL Processor Models.	DATE	2004	DBLP DOI BibTeX RDF
19	Nicolas Pessemier, Lionel Seinturier, Laurence Duchien	Components, ADL & AOP: Towards a Common Approach.	RAM-SE	2004	DBLP BibTeX RDF
19	Ashoke Deb	A Dataflow Language (AVON) as an Architecture Description Language (ADL).	DIPES	2004	DBLP DOI BibTeX RDF
19	Ahmed Sameh	Modeling Hybrid Multimedia N/W-Web Services Using Rapide ADL.	ICETE (1)	2004	DBLP BibTeX RDF
19	Ilham Alloui, Flávio Oquendo	Describing Software-Intensive Process Architectures Using a UML-Based ADL.	ICEIS (3)	2004	DBLP BibTeX RDF
19	Elham Safi, Reihaneh Saberi, Zohreh Karimi, Zainalabedin Navabi	Processor Testing Using an ADL Description and Genetic Algorithms.	VLSI-SOC	2003	DBLP BibTeX RDF
19	Stéphane Faulkner, Manuel Kolp	Ontological Basis for Agent ADL.	CAiSE Short Paper Proceedings	2003	DBLP BibTeX RDF
19	Mónica Pinto, Lidia Fuentes, José M. Troya	DAOP-ADL: Un Lenguaje de Descripción de Arquitecturas Software basado en Componentes y Aspectos.	JISBD	2003	DBLP BibTeX RDF
19	Hong Mei 0001, Jichuan Chang, Fuqing Yang	Software component composition based on ADL and Middleware.	Sci. China Ser. F Inf. Sci.	2001	DBLP DOI BibTeX RDF
19	Jana Koehler, Jörg Hoffmann 0001	On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas.	PuK	2000	DBLP BibTeX RDF
19	Fabian Dömer, Eckhard Ortwein	ADL Links the world: Knowledge Management bei Arthur D. Little.	HMD Prax. Wirtsch.	1999	DBLP BibTeX RDF
19	Erich J. Neuhold	Introduction - Papers from ADL'97.	Int. J. Digit. Libr.	1997	DBLP DOI BibTeX RDF
19	Jana Koehler, Bernhard Nebel, Jörg Hoffmann 0001, Yannis Dimopoulos	Extending Planning Graphs to an ADL Subset.	ECP	1997	DBLP DOI BibTeX RDF
19	Sreenivasa Rao Viswanadha	Preliminary Design of ADL/C++ -- A Specification Language for C++.	COOTS	1996	DBLP BibTeX RDF
19	B. S. Manjunath	Image Browsing in the Alexandria Digital Library (ADL) Project.	D Lib Mag.	1995	DBLP BibTeX RDF
19	Wolfgang Wahlster	Nach der ADL-Evaluation: Bemerkungen zur Situation der KI in Deutschland.	Künstliche Intell.	1994	DBLP BibTeX RDF
19	Peter Spieker, Hubert Marchand	Die Bedeutung der ADL-Studie aus der Sicht der Industrie als kommerziellem Nutzer.	Künstliche Intell.	1994	DBLP BibTeX RDF
19	Edwin P. D. Pednault	ADL and the State-Transition Model of Action.	J. Log. Comput.	1994	DBLP DOI BibTeX RDF
19	Sriram Sankar, Roger Hayes	ADL - An Interface Definition Language for Specifying and Testing Software.	Workshop on Interface Definition Languages	1994	DBLP DOI BibTeX RDF
19	Helge Behrends	ADL - Active Description Language.	Grundlagen von Datenbanken	1993	DBLP BibTeX RDF
19	J. Scott Penberthy, Daniel S. Weld	UCPOP: A Sound, Complete, Partial Order Planner for ADL.	KR	1992	DBLP BibTeX RDF
19	Douglas E. Buska, Mark L. Wilkins	ADL: a dynamic object-oriented modeling language.	OOPS Messenger	1991	DBLP DOI BibTeX RDF
19	Jörg Niggemann	Representation of Neuroanatomical Knowledge: The Description Language ADL.	Terminology and Knowledge Engineering (Vol. 1)	1990	DBLP BibTeX RDF
19	Edwin P. D. Pednault	ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus.	KR	1989	DBLP BibTeX RDF
19	Richard H. Smith	ADL - A Documentation Language.	SIGDOC	1985	DBLP DOI BibTeX RDF
19	John T. Ellis	A Distributed Software Runtime Environment to Support Testbed Experimentation using ADL/ADS.	ICDE	1984	DBLP DOI BibTeX RDF
19	W. H. Evans, Jean-Claude Ballegeer, Nguyen H. Duyet	ADL: An algorithmic design language for integrated circuit synthesis.	DAC	1984	DBLP BibTeX RDF
19	J. T. Ellis, R. W. Smith	ADL/ADS-A tool for describing, constructing, conducting, and Evaluating DDP Experiments.	ICDCS	1982	DBLP BibTeX RDF
11	Paolo Romano 0002, Luís E. T. Rodrigues, Nuno Carvalho, João P. Cachopo	Cloud-TM: harnessing the cloud with distributed transactional memories.	ACM SIGOPS Oper. Syst. Rev.	2010	DBLP DOI BibTeX RDF
11	Stavros Zafeiropoulos, Fotini Kounti, Magda Tsolaki	Computer based cognitive training for patients with mild cognitive impairment (MCI).	PETRA	2010	DBLP DOI BibTeX RDF	MCI, cognitive training, assistive technology, dementia
11	Jit Biswas, Kelvin Sim, Weimin Huang 0002, Andrei Tolstikov, Aung Aung Phyo Wai, Maniyeri Jayachandran, Victor Foo Siang Fook, Philip Lin Kiat Yap	Sensor based micro context for mild dementia assistance.	PETRA	2010	DBLP DOI BibTeX RDF	assistance for ADLs, prompts and reminders, sensor based activity recognition, ambient intelligence, activities of daily living (ADLs)
11	Grant Martin	Processor Stew (review of Processor Description Languages by P. Mishra and N. Dutt, Eds.; 2008) [Book reviews].	IEEE Des. Test Comput.	2009	DBLP DOI BibTeX RDF
11	Per Karlström, Dake Liu	NoGAP: A Micro Architecture Construction Framework.	SAMOS	2009	DBLP DOI BibTeX RDF
11	Derek Lura, Stephanie Carey, Michael Jason Highsmith, Rajiv V. Dubey	Robot kinematics based model to predict compensatory motion of transradial prosthesis while performing bilateral tasks.	ICRA	2009	DBLP DOI BibTeX RDF
11	Dae-Jin Kim, Ryan Lovelett, Aman Behal	Eye-in-hand stereo visual servoing of an assistive robot arm in unstructured environments.	ICRA	2009	DBLP DOI BibTeX RDF
11	Vit Libal, Bhuvana Ramabhadran, Nadia Mana, Fabio Pianesi, Paul Chippendale, Oswald Lanz, Gerasimos Potamianos	Multimodal Classification of Activities of Daily Living Inside Smart Homes.	IWANN (2)	2009	DBLP DOI BibTeX RDF
11	Takahiro Kagawa, Yoji Uno	A human interface for stride control on a wearable robot.	IROS	2009	DBLP DOI BibTeX RDF
11	Takeshi Ando, Jun Okamoto, Masakatsu G. Fujie	Optimal design of a micro macro neural network to recognize rollover movement.	IROS	2009	DBLP DOI BibTeX RDF
11	Mónica Pinto, Lidia Fuentes, Juan A. Valenzuela, Paulo F. Pires, Flávia Coimbra Delicato, Éberton Marinho	On the need of architectural patterns in AOSD for software evolution.	WICSA/ECSA	2009	DBLP DOI BibTeX RDF
11	Juan-Pablo García-Vázquez, Marcela D. Rodríguez	Ambient Information Systems to Support the Elderly in Carrying Out Their Activities of Daily Living.	OTM Workshops	2009	DBLP DOI BibTeX RDF	Elderly, Activities of Daily Living, Ambient Information Systems
11	Márcia Lucena, Jaelson Castro, Carla T. L. L. Silva, Fernanda M. R. Alencar, Emanuel Santos, João Pimentel 0001	A Model Transformation Approach to Derive Architectural Models from Goal-Oriented Requirements Models.	OTM Workshops	2009	DBLP DOI BibTeX RDF	Requirements engineering, Models Transformation, Architectural design
11	Koen V. Hindriks, Tijmen Roberti	GOAL as a Planning Formalism.	MATES	2009	DBLP DOI BibTeX RDF
11	Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani	Typing Component-Based Communication Systems.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
11	Dae-Jin Kim, Aman Behal	Human-in-the-loop control of an assistive robotic arm in unstructured environments for spinal cord injured users.	HRI	2009	DBLP DOI BibTeX RDF	experimental, assistive robots, control architecture
11	Chan Yong Park, Soo-Jun Park	Multi-purpose Ambient Display System Supporting Various Media Objects.	ICOST	2009	DBLP DOI BibTeX RDF	scene description language, ambient display, multimedia object
11	Helen Balinsky, Jonathan R. Howes, Anthony Wiley	Aesthetically-driven layout engine.	ACM Symposium on Document Engineering	2009	DBLP DOI BibTeX RDF	fixed content, high customization and personalization, non-flow documents, regularity, alignment
11	Erwan Jahier, Nicolas Halbwachs, Pascal Raymond	Synchronous Modeling and Validation of Priority Inheritance Schedulers.	FASE	2009	DBLP DOI BibTeX RDF	Simulation, Scheduling, Embedded systems, Formal Verification, Architecture Description Languages, Synchronous Languages
11	Hsuan-Pu Chang, Timothy K. Shih, Qing Li 0001, Chun-Chia Wang, Te-Hua Wang, Louis R. Chao	An Adaptive Caching Strategy for m-Learning Based on SCORM Sequencing and Navigation.	World Wide Web	2008	DBLP DOI BibTeX RDF	course caching strategy and SCORM sequencing, mobile learning, SCORM
11	Marta Rey-López, Rebeca P. Díaz Redondo, Ana Fernández Vilas, José Juan Pazos-Arias, Martín López Nores, Jorge García Duque, Alberto Gil-Solla, Manuel Ramos Cabrer	T-MAESTRO and its authoring tool: using adaptation to integrate entertainment into personalized t-learning.	Multim. Tools Appl.	2008	DBLP DOI BibTeX RDF	Adaptation, Personalization, Edutainment, SCORM, T-learning
11	Zhongna Zhou, Xi Chen, Yu-Chia Chung, Zhihai He, Tony X. Han, James M. Keller	Activity Analysis, Summarization, and Visualization for Indoor Human Activity Monitoring.	IEEE Trans. Circuits Syst. Video Technol.	2008	DBLP DOI BibTeX RDF
11	Alek Radjenovic, Richard F. Paige	The Role of Dependency Links in Ensuring Architectural View Consistency.	WICSA	2008	DBLP DOI BibTeX RDF	view consistency, dependency links, architecture description languages
11	Youcong Ni, Shi Ying, Jing Wen, Linlin Zhang, Peng Ye 0002, Jiajing Zhang	Study on Weaving Process at Software Architectural level.	APSCC	2008	DBLP DOI BibTeX RDF
11	Shuai Zhang 0001, Sally I. McClean, Bryan W. Scotney, Xin Hong, Chris D. Nugent, Maurice D. Mulvenna	Decision Support for Alzheimer's Patients in Smart Homes.	CBMS	2008	DBLP DOI BibTeX RDF	Probabilistic learning, Classification, Decision support, Reasoning, Assistive living
11	Xin-hua Zhu, Ren-Quan Yan, Li-Ping Wu, Lan-Fang Zhang	An Interoperable Learning Sequencing Model Based on the Flow Control Object.	CSSE (5)	2008	DBLP DOI BibTeX RDF
11	Mónica Pinto, Lidia Fuentes	Towards a Software Process for Aspect-Oriented Modeling of Quality Attributes.	ECSA	2008	DBLP DOI BibTeX RDF
11	Thaís Vasconcelos Batista, Antônio Tadeu A. Gomes, Geoff Coulson, Christina Chavez, Alessandro Garcia 0001	On the Interplay of Aspects and Dynamic Reconfiguration in a Specification-to-Deployment Environment.	ECSA	2008	DBLP DOI BibTeX RDF	Dynamic reconfiguration, Architecture description language, Aspect-oriented software development, Component-based software
11	Fabian Gilson, Vincent Englebert, Raimundas Matulevicius	A Large Scope Transformational Approach for Distributed Architecture Design.	ECSA	2008	DBLP DOI BibTeX RDF
11	Augustin Kebemou, Ina Schieferdecker	The Components Data Flow Machine: An Intermediate Modeling Format to Support the Design of Automobiles E/E Systems Architectures.	DIPES	2008	DBLP DOI BibTeX RDF	design, architecture, partitioning, mapping, automotive systems
11	Xin Hong, Chris D. Nugent, Maurice D. Mulvenna, Sally I. McClean, Bryan W. Scotney, Steven Devlin	Assessment of the Impact of Sensor Failure in the Recognition of Activities of Daily Living.	ICOST	2008	DBLP DOI BibTeX RDF	evidence fusion, trust, Smart homes, activities of daily living, sensing technologies
11	Aicha Choutri, Faiza Belala, Kamel Barkaoui	Towards a tile based LfP semantics.	RCIS	2008	DBLP DOI BibTeX RDF
11	Zaheer Abbas Khan, Mohammed Odeh, Tony Solomonides, Flávio Oquendo	The BPMSOA: evaluating the enactment of a business process using application domain specific grid services.	iiWAS	2008	DBLP DOI BibTeX RDF	execution and evaluation, SOA, digital libraries, business process modelling, grid services, process enactment
11	Abdelhafid Zitouni, Lionel Seinturier, Mahmoud Boufaïda	Contract-Based Approach to Analyze Software Components.	ICECCS	2008	DBLP DOI BibTeX RDF
11	Marco Di Natale	Design and Development of Component-Based Embedded Systems for Automotive Applications.	Ada-Europe	2008	DBLP DOI BibTeX RDF
11	Ronald Morrison, Dharini Balasubramaniam, Graham N. C. Kirby, Kath Mickan, Brian Warboys, Robert Mark Greenwood, Ian Robertson, Bob Snowdon	A framework for supporting dynamic systems co-evolution.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Run-time evolution, Reflection, Software evolution, Co-evolution, Adaptive software, Incremental design
11	Audrey Serna, Hélène Pigot, Vincent Rialle	Modeling the progression of Alzheimer's disease for cognitive assistance in smart homes.	User Model. User Adapt. Interact.	2007	DBLP DOI BibTeX RDF	Cognitive assistance, Error simulation, Alzheimer’s disease, Cognitive modeling, Smart home, Cognitive architecture
11	Lubomír Bulej, Tomás Bures, Thierry Coupaye, Martin Decký, Pavel Jezek, Pavel Parízek, Frantisek Plásil, Tomás Poch, Nicolas Rivierre, Ondrej Sery, Petr Tuma 0001	CoCoME in Fractal.	CoCoME	2007	DBLP DOI BibTeX RDF
11	Alexandro Baldassin, Paulo Centoducatte, Sandro Rigo, Daniel C. Casarotto, Luiz C. V. dos Santos, Max R. de O. Schultz, Olinto J. V. Furtado	Automatic Retargeting of Binary Utilities for Embedded Code Generation.	ISVLSI	2007	DBLP DOI BibTeX RDF
11	Cristóvão Oliveira, Michel Wermelinger	A Model-Driven Approach to Extract Views from an Architecture Description Language.	WICSA	2007	DBLP DOI BibTeX RDF
11	Medha Shukla Sarkar, Abisoye Mudasiru, Nilanjan Sarkar	Design and implementation of a command processor for high level human-robot interaction system.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF	TXL, command processor, transformation languages
11	Stefan Dietze, Alessio Gugliotta, John Domingue	Addressing Context-Awareness and Standards Interoperability in E-Learning: A Service-Oriented Framework Based on IRS III.	ICWL	2007	DBLP DOI BibTeX RDF	Standards Interoperability, Ontologies, E-Learning, Semantic Web Services, Learning Process, Context Adaptibility
11	Hassan Rajaei, Allan Dieball	A shared-view web-based environment for training.	SpringSim (1)	2007	DBLP BibTeX RDF	multi client-server, shared view, distributed system, virtual classroom, web-based simulation
11	Niloofar Razavi, Marjan Sirjani	Compositional Semantics of System-Level Designs Written in SystemC.	FSEN	2007	DBLP DOI BibTeX RDF	formal verification, SystemC, hardware design, Reo, constraint automata
11	Ivan Ganchev, Mairtin O'Droma, Radoslav Andreev	Functionality and SCORM-compliancy Evaluation of eLearning Tools.	ICALT	2007	DBLP DOI BibTeX RDF	eLearning authoring/assembling tools, learning content management systems (LCMS), reference model, SCORM
11	Ronghui Wu, Renfa Li, Fei Yu 0001, Guangxue Yue, Cheng Xu 0001	Research on Advanced Distributed Learning by Using SCORM.	International Conference on Computational Science (3)	2007	DBLP DOI BibTeX RDF
11	Yaw-Jen Lin, Mei-Ju Su, Sao-Jie Chen, Suh-Chin Wang, Chiu-I Lin, Heng-Shuen Chen	A Study of Ubiquitous Monitor with RFID in an Elderly Nursing Home.	MUE	2007	DBLP DOI BibTeX RDF
11	Georgios Metaxas, Barbaros Metin, Jutta Schneider, Panos Markopoulos 0001, Boris E. R. de Ruyter	Daily Activities Diarist: Supporting Aging in Place with Semantically Enriched Narratives.	INTERACT (2)	2007	DBLP DOI BibTeX RDF	ubiquitous computing, Computer-mediated communication, assisted living, awareness systems
11	George Edwards, Sam Malek, Nenad Medvidovic	Scenario-Driven Dynamic Analysis of Distributed Architectures.	FASE	2007	DBLP DOI BibTeX RDF
11	Alek Radjenovic, Richard F. Paige	Architecture Description Languages for High-Integrity Real-Time Systems.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	software architecture, architecture description languages, safety-critical systems, modeling methodologies, model development