Search results for "acme"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
101	Márcia J. N. Rodrigues, Leonardo Lucena, Thaís Vasconcelos Batista	From Acme to CORBA: Bridging the Gap.	EWSA	2004	DBLP DOI BibTeX RDF
84	Davide Di Ruscio, Dimitrios S. Kolovos, Louis M. Rose, Samir Al-Hilank	ACadeMics tooling with Eclipse: ACME 2013 workshop summmary.	ACME@ECOOP	2013	DBLP DOI BibTeX RDF
82	Leandro C. G. Lustosa, André A. D. P. Souza, Paulo Henrique de A. Rodrigues, Douglas G. Quinellato	ACME: An Automated Tool for Generating and Evaluating the Quality of VoIP Calls.	MMNS	2008	DBLP DOI BibTeX RDF	VoIP call generation, capacity determination, monitoring tool
82	David Garlan, Robert T. Monroe, David Wile	Acme: an architecture description interchange language.	CASCON	1997	DBLP BibTeX RDF
76	Xiaofan Jiang 0001, Stephen Dawson-Haggerty, Prabal Dutta, David E. Culler	Design and implementation of a high-fidelity AC metering network.	IPSN	2009	DBLP DOI BibTeX RDF
76	David Olsen, Michael Mateas	Beep! Beep! Boom!: towards a planning model of Coyote and Road Runner cartoons.	FDG	2009	DBLP DOI BibTeX RDF	artificial intelligence, planning, cartoons, computational humor
63	Young-Jun Seo, Young-Jae Song, Hwa-Young Jeong	ACME-Based Connector Interface Considering Component Important Factor.	SKG	2005	DBLP DOI BibTeX RDF
63	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
59	Davide Di Ruscio, Dimitris S. Kolovos, Louis M. Rose, Samir Al-Hilank (eds.)	Proceedings of the workshop on ACadeMics Tooling with Eclipse, ACME@ECOOP 2013, Montpellier, France, July 2, 2013	ACME@ECOOP	2013	DBLP DOI BibTeX RDF
59	Paola Gómez, Mario E. Sánchez, Jorge Villalobos	GraCoT, a tool for co-creation of models and metamodels in specific domains.	ACME@ECOOP	2013	DBLP DOI BibTeX RDF
59	Juan Manuel Vara, Jenifer Verde, Vasilios Andrikopoulos, Verónica Andrea Bollati, Esperanza Marcos	An EMF-based toolkit for reasoning on web services evolution.	ACME@ECOOP	2013	DBLP DOI BibTeX RDF
59	Camilo Álvarez, Rubby Casallas	MTC Flow: a tool to design, develop and deploy model transformation chains.	ACME@ECOOP	2013	DBLP DOI BibTeX RDF
59	Felix Schwägerl, Sabrina Uhrig, Bernhard Westfechtel	Model-based tool support for consistent three-way merging of EMF models.	ACME@ECOOP	2013	DBLP DOI BibTeX RDF
59	Marc-Florian Wendland, Andreas Hoffmann 0001, Ina Schieferdecker	Fokus!MBT: a multi-paradigmatic test modeling environment.	ACME@ECOOP	2013	DBLP DOI BibTeX RDF
59	Brahim Hamid, Adel Ziani, Jacob Geisel	Towards tool support for pattern-based secure and dependable systems development.	ACME@ECOOP	2013	DBLP DOI BibTeX RDF
57	Colin J. Ihrig, Rami G. Melhem, Alex K. Jones	Automated modeling and emulation of interconnect designs for many-core chip multiprocessors.	DAC	2010	DBLP DOI BibTeX RDF	simulation, interconnection network, emulation, multi-core, many-core
44	Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng	Modeling and implementing software architecture with acme and archJava.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	languages
44	Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng	Modeling and implementing software architecture with acme and archJava.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF
44	David Garlan, Zhenyu Wang	Acme-Based Software Architecture Interchange.	COORDINATION	1999	DBLP DOI BibTeX RDF
38	Xiaofan Jiang 0001, Stephen Dawson-Haggerty, Jay Taneja, Prabal Dutta, David E. Culler	Creating greener homes with IP-based wireless ac energy monitors.	SenSys	2008	DBLP DOI BibTeX RDF	sensor network, architecture, measurement, wireless, power, energy, platform, mote, ac, green, meter
38	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
38	Mikel D. Petty, Frederic D. McKenzie, Qingwen Xu	Using a Software Architecture Description Language to Model the Architecture and Run-Time Performance of a Federate.	DS-RT	2002	DBLP DOI BibTeX RDF
31	Hassan Reza, Suhas Lande	Model Based Testing Using Software Architecture.	ITNG	2010	DBLP DOI BibTeX RDF	HPrTNs, Software Architecture, Software Testing, Model-Based testing, Architectural Description Languages (ADLs), acme
31	David S. Wile	Towards a synthesis of dynamic architecture event languages.	WOSS	2002	DBLP DOI BibTeX RDF	architecture change events, gauge infrastructure, probe infrastructure, xADL, xArch, software architectures, acme, dynamic architectures
31	Robert T. Monroe	Modeling and Analyzing software Architectures.	ICSE	1999	DBLP DOI BibTeX RDF	architecture design languages, software architecture, software design, Acme, architectural modeling, architectural analysis
25	Valentina Zaccaria, David Dandolo, Chiara Masiero, Gian Antonio Susto	AcME-AD: Accelerated Model Explanations for Anomaly Detection.	CoRR	2024	DBLP DOI BibTeX RDF
25	David Dandolo, Chiara Masiero, Mattia Carletti, Davide Dalle Pezze, Gian Antonio Susto	AcME - Accelerated model-agnostic explanations: Fast whitening of the machine-learning black box.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
25	Chris Wendt, David Hancock, Mary Barnes, Jon Peterson	TNAuthList Profile of Automated Certificate Management Environment (ACME) Authority Token.	RFC	2023	DBLP DOI BibTeX RDF
25	Owen Friel, Richard Barnes 0001, Tim Hollebeek, Michael Richardson	Automated Certificate Management Environment (ACME) for Subdomains.	RFC	2023	DBLP DOI BibTeX RDF
25	Jon Peterson, Mary Barnes, David Hancock, Chris Wendt	Automated Certificate Management Environment (ACME) Challenges Using an Authority Token.	RFC	2023	DBLP DOI BibTeX RDF
25	David A. Cordova Morales, Ahmad Samer Wazan, David W. Chadwick, Romain Laborde, April Rains Reyes Maramara, Kalil Cabral	Enhancing the ACME Protocol to Automate the Management of All X.509 Web Certificates.	SEC	2023	DBLP DOI BibTeX RDF
25	Anant Sujatanagarjuna, Arne Bochem, Benjamin Leiding	Formalizing and Safeguarding Blockchain-Based BlockVoke Protocol as an ACME Extension for Fast Certificate Revocation.	Cryptogr.	2022	DBLP DOI BibTeX RDF
25	Miguel Molina-Moreno, Iván González-Díaz 0001, Jon Sicilia, Georgiana Crainiciuc, Miguel Palomino-Segura, Andrés Hidalgo, Fernando Díaz-de-María	ACME: Automatic feature extraction for cell migration examination through intravital microscopy imaging.	Medical Image Anal.	2022	DBLP DOI BibTeX RDF
25	Luis Alberto Aranda, Oscar Ruano, Francisco Garcia-Herrero, Juan Antonio Maestro	ACME-2: Improving the Extraction of Essential Bits in Xilinx SRAM-Based FPGAs.	IEEE Trans. Circuits Syst. II Express Briefs	2022	DBLP DOI BibTeX RDF
25	Quanbin Wang, Xiexiong Lin, Feng Wang	A Timestep aware Sentence Embedding and Acme Coverage for Brief but Informative Title Generation.	NAACL-HLT (Findings)	2022	DBLP DOI BibTeX RDF
25	Davide Stocco, Enrico Bertolazzi	Acme: A small 3D geometry library.	SoftwareX	2021	DBLP DOI BibTeX RDF
25	David Dandolo, Chiara Masiero, Mattia Carletti, Davide Dalle Pezze, Gian Antonio Susto	AcME - Accelerated Model-agnostic Explanations: Fast Whitening of the Machine-Learning Black Box.	CoRR	2021	DBLP BibTeX RDF
25	Yaron Sheffer, Diego R. López, Antonio Pastor Perales, Thomas Fossati	An Automatic Certificate Management Environment (ACME) Profile for Generating Delegated Certificates.	RFC	2021	DBLP DOI BibTeX RDF
25	Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do 0001, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele	An In-Depth Symbolic Security Analysis of the ACME Standard.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
25	Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do 0001, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele	An In-Depth Symbolic Security Analysis of the ACME Standard.	CCS	2021	DBLP DOI BibTeX RDF
25	Giansalvatore Mecca, Donatello Santoro, Nazzareno Sileno, Enzo Veltri	Spice-Up your Coding Lessons with the ACME Approach (Discussion Paper).	SEBD	2021	DBLP BibTeX RDF
25	Chen Xie, Daniele Jahier Pagliari, Andrea Calimera, Enrico Macii, Massimo Poncino	ACME: An Energy-Efficient Approximate Bus Encoding for I2C.	ISLPED	2021	DBLP DOI BibTeX RDF
25	Matt Hoffman 0001, Bobak Shahriari, John Aslanides, Gabriel Barth-Maron, Feryal M. P. Behbahani, Tamara Norman, Abbas Abdolmaleki, Albin Cassirer, Fan Yang, Kate Baumli, Sarah Henderson, Alexander Novikov 0001, Sergio Gómez Colmenarejo, Serkan Cabi, Çaglar Gülçehre, Tom Le Paine, Andrew Cowie, Ziyu Wang 0001, Bilal Piot, Nando de Freitas	Acme: A Research Framework for Distributed Reinforcement Learning.	CoRR	2020	DBLP BibTeX RDF
25	Roland Bracewell Shoemaker	Automated Certificate Management Environment (ACME) IP Identifier Validation Extension.	RFC	2020	DBLP DOI BibTeX RDF
25	Yaron Sheffer, Diego R. López, Óscar González de Dios, Antonio Pastor Perales, Thomas Fossati	Support for Short-Term, Automatically Renewed (STAR) Certificates in the Automated Certificate Management Environment (ACME).	RFC	2020	DBLP DOI BibTeX RDF
25	Roland Bracewell Shoemaker	Automated Certificate Management Environment (ACME) TLS Application‑Layer Protocol Negotiation (ALPN) Challenge Extension.	RFC	2020	DBLP DOI BibTeX RDF
25	Elie F. Kfoury, David J. Khoury, Ali AlSabeh, Jose Gomez, Jorge Crichigno, Elias Bou-Harb	A Blockchain-based Method for Decentralizing the ACME Protocol to Enhance Trust in PKI.	TSP	2020	DBLP DOI BibTeX RDF
25	Luis Alberto Aranda, Alfonso Sánchez-Macián, Juan Antonio Maestro	ACME: A Tool to Improve Configuration Memory Fault Injection in SRAM-Based FPGAs.	IEEE Access	2019	DBLP DOI BibTeX RDF
25	Yan Hu, Ziqiang Wang, Hailin Hu 0002, Fangping Wan, Lin Chen, Yuanpeng Xiong, Xiaoxia Wang, Dan Zhao, Weiren Huang, Jianyang Zeng 0001	ACME: pan-specific peptide-MHC class I binding prediction through attention-based deep neural networks.	Bioinform.	2019	DBLP DOI BibTeX RDF
25	Hugo Landau	Certification Authority Authorization (CAA) Record Extensions for Account URI and Automatic Certificate Management Environment (ACME) Method Binding.	RFC	2019	DBLP DOI BibTeX RDF
25	Richard Barnes 0001, Jacob Hoffman-Andrews, Daniel McCarney, James Kasten	Automatic Certificate Management Environment (ACME).	RFC	2019	DBLP DOI BibTeX RDF
25	Rida Mezghache, Fadila Atil	A template for formalising reliable Acme-based software architecture.	Int. J. Comput. Appl. Technol.	2018	DBLP DOI BibTeX RDF
25	Zhuo Yao, Dali Wang, Yifan Wang, Fengming Yuan	An Event Detection Framework for Virtual Observation System: Anomaly Identification for an ACME Land Simulation.	ICCS (2)	2018	DBLP DOI BibTeX RDF
25	Shivam Swami, Kartik Mohanram	ACME: advanced counter mode encryption for secure non-volatile memories.	DAC	2018	DBLP DOI BibTeX RDF
25	Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Nadim Kobeissi	Formal Modeling and Verification for Domain Validation and ACME.	Financial Cryptography	2017	DBLP DOI BibTeX RDF
25	Dali Wang, Yu Pei, Oscar R. Hernandez, Wei Wu 0016, Zhuo Yao, Youngsung Kim, Michael Wolfe, Ryan Kitchen	Compiler technologies for understanding legacy scientific code: A case study on an ACME land module.	ICCS	2017	DBLP DOI BibTeX RDF
25	Gamze Giirsoy, Anna Terebus, Youfang Cao, Jie Liang 0002	Mechanisms of stochastic focusing and defocusing in biological reaction networks: Insight from accurate Chemical Master Equation (ACME) solutions.	EMBC	2016	DBLP DOI BibTeX RDF
25	Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa	UML2.0 Formalization and Acme Verification of the Qualitative Properties of Software Architectures.	WETICE	2016	DBLP DOI BibTeX RDF
25	Raoudha Maraoui, Bechir Ayeb	Integrating the SysML and ACME in a Model Driven Engineering Approach to Verify the Web Service Composition.	WETICE	2015	DBLP DOI BibTeX RDF
25	Majed Sahli, Essam Mansour 0001, Panos Kalnis	ACME: A scalable parallel system for extracting frequent patterns from a very long sequence.	VLDB J.	2014	DBLP DOI BibTeX RDF
25	Nathanaël Fijalkow, Denis Kuperberg	ACME: Automata with Counters, Monoids and Equivalence.	ATVA	2014	DBLP DOI BibTeX RDF
25	Imen Derbel, Lamia Labed Jilani, Ali Mili 0001	ACME+: An ADL for Quantitative Analysis of Quality Attributes.	ENASE (Selected Papers)	2013	DBLP DOI BibTeX RDF
25	Chumpol Mokarat, Wiwat Vatanawood	UML Component Diagram to Acme Compiler.	ICISA	2013	DBLP DOI BibTeX RDF
25	Imen Derbel, Lamia Labed Jilani, Ali Mili 0001	ACME+ for Software Architecture Analysis.	ICSOFT	2013	DBLP BibTeX RDF
25	Jean-Eudes Méhus, Thaís Vasconcelos Batista, Jérémy Buisson	ACME vs PDDL: support for dynamic reconfiguration of software architectures	CoRR	2012	DBLP BibTeX RDF
25	Kishore R. Mosaliganti, Ramil R. Noche, Fengzhu Xiong, Ian A. Swinburne, Sean G. Megason	ACME: Automated Cell Morphology Extractor for Comprehensive Reconstruction of Cell Membranes.	PLoS Comput. Biol.	2012	DBLP DOI BibTeX RDF
25	Amel Mhamdi, Raoudha Maraoui, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Eric Cariou	Towards an IDM Approach of Transforming Web Services into ACME Providing Quality of Service.	SKG	2011	DBLP DOI BibTeX RDF
25	Raoudha Maraoui, Amel Mhamdi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou	Towards a transformation of composite web service with QoS extension into ACME\Armani.	iiWAS	2011	DBLP DOI BibTeX RDF
25	Serguei A. Mokhov, Joey Paquet, Mourad Debbabi	Reasoning About an ACME Printer Case Investigation with Forensic Lucid	CoRR	2009	DBLP BibTeX RDF
25	Mourad Kmimech, Mohamed Tahar Bhiri, Philippe Aniorté	Checking Component Assembly in Acme: An Approach Applied on UML 2.0 Components Model.	ICSEA	2009	DBLP DOI BibTeX RDF
25	Keith D. Cooper, Alexander Grosul, Timothy J. Harvey, Steven W. Reeves, Devika Subramanian, Linda Torczon, Todd Waterman	ACME: adaptive compilation made efficient.	LCTES	2005	DBLP DOI BibTeX RDF	adaptive compilation
25	Risivardhan Thonangi, Vikram Pudi	ACME: An Associative Classifier Based on Maximum Entropy Principle.	ALT	2005	DBLP DOI BibTeX RDF
25	Daniel Krajzewicz	ACME Driver - ein kognitives Fahrermodell.	MuC (Workshopband)	2005	DBLP BibTeX RDF
25	David L. Oppenheimer, Vitaliy Vatkovskiy, Hakim Weatherspoon, Jason Lee, David A. Patterson 0001, John Kubiatowicz	Monitoring, Analyzing, and Controlling Internet-scale Systems with ACME	CoRR	2004	DBLP BibTeX RDF
25	Faizal Riaz-ud-Din, Markus Kirchberg	ACME-DB: An Adaptive Caching Mechanism Using Multiple Experts For Database Buffers.	ICEIS (1)	2004	DBLP BibTeX RDF
25	Faizal Riaz-ud-Din, Markus Kirchberg	Acme-DB: An Adaptive Caching Mechanism Using Multiple Experts for Database Buffers.	ICEIS (Selected Papers)	2004	DBLP DOI BibTeX RDF
25	Daniel Krajzewicz, Peter Wagner	ACME (A Common Mental Environment)- Driver A Cognitive Car Driver Model.	ESM	2002	DBLP BibTeX RDF
25	Ismail Ari, Ahmed Amer, Robert B. Gramacy, Ethan L. Miller, Scott A. Brandt, Darrell D. E. Long	ACME: Adaptive Caching Using Multiple Experts.	WDAS	2002	DBLP BibTeX RDF
25	Denise A. Wenger, Mike Rufflo, F. Joe Bertalan	ACME Project, Internet-Based Systems That Advocate Academic Credit for Military Experience and Analyze Options for Veterans in Career Transition.	ICALT	2001	DBLP DOI BibTeX RDF
25		Acme and AcmeStudio.	ACM SIGSOFT Softw. Eng. Notes	2000	DBLP DOI BibTeX RDF
25	Dinesh K. Pai, Jochen Lang 0001, John E. Lloyd, Joshua L. Richmond	Reality-Based Modeling with ACME: A Progress Report.	ISER	2000	DBLP BibTeX RDF
25	Dinesh K. Pai, Jochen Lang 0001, John E. Lloyd, Robert J. Woodham	ACME, A Telerobotic Active Measurement Facility.	ISER	1999	DBLP DOI BibTeX RDF
25	John Gintell, Gérard Memmi	Lessons learned with ACME an environment integration experiment.	ACM SIGSOFT Softw. Eng. Notes	1997	DBLP DOI BibTeX RDF
25	David Wile	Semantics for the architecture interchange language, ACME.	ISAW/Viewpoints@FSE	1996	DBLP DOI BibTeX RDF
25	Mark Feblowitz, Sol J. Greenspan, Howard B. Reubenstein, Robert Walford	ACME/PRIME: Requirements Acquisition for Process-Driven Systems.	IWSSD	1996	DBLP BibTeX RDF
25	Rob Pike	Acme: A User Interface for Programmers.	USENIX Winter	1994	DBLP BibTeX RDF
25	P. C. L. Smith	Acme: A Directed UK Research Programme for the Application of Computers to Manufacturing Engineering.	Robotica	1986	DBLP DOI BibTeX RDF
25	Gary Y. Breitbard, Gio Wiederhold	The ACME compiler.	IFIP Congress (1)	1968	DBLP BibTeX RDF
19	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
19	Claus Pahl, Simon Giesecke, Wilhelm Hasselbring	An Ontology-Based Approach for Modelling Architectural Styles.	ECSA	2007	DBLP DOI BibTeX RDF	architecture ontology, quality-driven development, description logics, architectural style, Software architecture modelling
19	Alessandro Garcia 0001, Christina Chavez, Thaís Vasconcelos Batista, Cláudio Sant'Anna, Uirá Kulesza, Awais Rashid, Carlos José Pereira de Lucena	On the Modular Representation of Architectural Aspects.	EWSA	2006	DBLP DOI BibTeX RDF	Architectural Connection, Architecture Description Languages, Aspect-Oriented Software Development
19	Weiping Luo, Hamada H. Ghenniwa, Weiming Shen 0001, Zhaohua Rao	Capture Dynamic Aspects of Software Architecture for Distributed Self-Adaptive Environments.	CSCWD	2006	DBLP DOI BibTeX RDF
19	Fernando Castor Filho, Patrick H. S. Brito, Cecília M. F. Rubira	A framework for analyzing exception flow in software architectures.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	exception handling, architecture analysis, architecture documentation
19	Thaís Vasconcelos Batista, Ackbar Joolia, Geoff Coulson	Managing Dynamic Reconfiguration in Component-Based Systems.	EWSA	2005	DBLP DOI BibTeX RDF
19	Dana Moore, William Wright	Emergent behaviours considered harmful.	AAMAS	2003	DBLP DOI BibTeX RDF	agent-based workflow management, verification, testing, validation, controls, instrumentation, agent-based software engineering, testing methodologies, validation methodologies
19	David S. Wile	Residual Requirements and Architectural Residue.	RE	2001	DBLP DOI BibTeX RDF
19	Jeffrey J. P. Tsai, Kuang Xu	Architecture Specification of Multimedia Software Systems.	ICMCS, Vol. 1	1999	DBLP DOI BibTeX RDF	architecture specification languages, Software architecture, multimedia systems, object-oriented paradigm
19	Chandramouli Visweswariah, Rakesh Chadha, Chin-Fu Chen	Model Development and Verification for High Level Analog Blocks.	DAC	1988	DBLP BibTeX RDF