Search results for "composing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
60	Francisco Durán 0001, Robert Heinrich, Carolyn L. Talcott, Steffen Zschaler	Overview of Challenges in Composing Model-Based Analysis Tools.	Composing Model-Based Analysis Tools	2021	DBLP DOI BibTeX RDF
60	Steffen Zschaler, Francisco Durán 0001	GTSMorpher: Safely Composing Behavioural Analyses Using Structured Operational Semantics.	Composing Model-Based Analysis Tools	2021	DBLP DOI BibTeX RDF
46	Robert Heinrich, Jörg Henss, Sandro Koch, Ralf H. Reussner	Challenges in the Evolution of Palladio - Refactoring Design Smells in a Historically-Grown Approach to Software Architecture Analysis.	Composing Model-Based Analysis Tools	2021	DBLP DOI BibTeX RDF
46	Arvid Butting, Katrin Hölldobler, Bernhard Rumpe, Andreas Wortmann 0001	Compositional Modelling Languages with Analytics and Construction Infrastructures Based on Object-Oriented Techniques - The MontiCore Approach.	Composing Model-Based Analysis Tools	2021	DBLP DOI BibTeX RDF
46	Simona Bernardi 0001, Michalis Famelis, Jean-Marc Jézéquel, Raffaela Mirandola, Diego Perez-Palacin, Fiona A. C. Polack, Catia Trubiani	Living with Uncertainty in Model-Based Development.	Composing Model-Based Analysis Tools	2021	DBLP DOI BibTeX RDF
46	Carolyn L. Talcott, Sofia Ananieva, Kyungmin Bae, Benoît Combemale, Robert Heinrich, Mark Hills 0001, Narges Khakpour, Ralf H. Reussner, Bernhard Rumpe, Patrizia Scandurra, Hans Vangheluwe, Francisco Durán 0001, Steffen Zschaler	Foundations.	Composing Model-Based Analysis Tools	2021	DBLP DOI BibTeX RDF
46	Robert Heinrich, Erwan Bousse, Sandro Koch, Arend Rensink, Elvinia Riccobene, Daniel Ratiu, Marjan Sirjani	Integration and Orchestration of Analysis Tools.	Composing Model-Based Analysis Tools	2021	DBLP DOI BibTeX RDF
46	Francisco Durán 0001, Martin Gogolla, Esther Guerra, Juan de Lara, Houari A. Sahraoui, Steffen Zschaler	Exploiting Results of Model-Based Analysis Tools.	Composing Model-Based Analysis Tools	2021	DBLP DOI BibTeX RDF
46	Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara	AnATLyzer: Static Analysis of ATL Model Transformations.	Composing Model-Based Analysis Tools	2021	DBLP DOI BibTeX RDF
46	Kenneth Johnson, Marc Zeller, Arthur Vetter, Dániel Varró	Continual Model-Based Analysis.	Composing Model-Based Analysis Tools	2021	DBLP DOI BibTeX RDF
46	Ehsan Khamespanah, Pavle Mrvaljevic, Anas Fattouh, Marjan Sirjani	Using Afra in Different Domains by Tool Orchestration.	Composing Model-Based Analysis Tools	2021	DBLP DOI BibTeX RDF
46	Carolyn L. Talcott, Sofia Ananieva, Kyungmin Bae, Benoît Combemale, Robert Heinrich, Mark Hills 0001, Narges Khakpour, Ralf H. Reussner, Bernhard Rumpe, Patrizia Scandurra, Hans Vangheluwe	Composition of Languages, Models, and Analyses.	Composing Model-Based Analysis Tools	2021	DBLP DOI BibTeX RDF
46	Francisco Durán 0001, Robert Heinrich, Carolyn L. Talcott, Steffen Zschaler	Conclusion.	Composing Model-Based Analysis Tools	2021	DBLP DOI BibTeX RDF
46	Robert Heinrich, Francisco Durán 0001, Carolyn L. Talcott, Steffen Zschaler	Introduction.	Composing Model-Based Analysis Tools	2021	DBLP DOI BibTeX RDF
46	Helen Treharne, Steve A. Schneider, Marchia Bramble	Composing Specifications Using Communication.	ZB	2003	DBLP DOI BibTeX RDF	Composing Specifications, Concurrency, CSP, B-Method, Combining Formalisms
39	Ondrej Rysavý, Jaroslav Ráb	A formal model of composing components: the TLA+ approach.	Innov. Syst. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Composing specifications, Synchronous mode of executions, Temporal logic of actions, Component model, Hierarchical specifications
39	Somnuk Phon-Amnuaisuk	Composing Using Heterogeneous Cellular Automata.	EvoWorkshops	2009	DBLP DOI BibTeX RDF	Composing by heterogeneous cellular automata, Automatic music generation, Chorales, Dynamic neural networks
35	Rajendra Bose, James Frew	Composing Lineage Metadata with XML for Custom Satellite-Derived Data Products.	SSDBM	2004	DBLP DOI BibTeX RDF
32	Jennifer Seevinck, Linda Candy, Ernest A. Edmonds	Exploration and reflection in interactive art: glass pond.	OZCHI	2006	DBLP DOI BibTeX RDF	glass pond, sand, modelling, evaluation, gesture, tangible user interface, reflection, exploration, interactive art, composing, pilot study, coding scheme
28	Haibo Zhao, Prashant Doshi	A hierarchical framework for logical composition of web services.	Serv. Oriented Comput. Appl.	2009	DBLP DOI BibTeX RDF	Probability, Hierarchy, Web service composition, First-order logic, Decision-theoretic planning
28	Fatna Belqasmi, Roch H. Glitho, Rachida Dssouli	Ambient network composition.	IEEE Netw.	2008	DBLP DOI BibTeX RDF
28	Eduard C. Dragut, Ramon Lawrence	Reducing the Cost of Validating Mapping Compositions by Exploiting Semantic Relationships.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF	semantics, metadata, integration, composition, mapping, model management
28	Joseph Sifakis	A General Framework for the Composition of Timed Systems Extended Abstract.	FTRTFT	1998	DBLP DOI BibTeX RDF
28	Yan Liu 0001, Simon Truong, Shiping Chen 0001, Liming Zhu 0001	Composing Adaptive Web Services on COTS Middleware.	ICWS	2008	DBLP DOI BibTeX RDF
28	Fei Dai 0002, Tong Li 0004	Composing Software Evolution Process Component.	APPT	2007	DBLP DOI BibTeX RDF	Software Evolution Process, Process Reuse, Petri Net, Component Model, Component Composition
28	Mark Grechanik, Kevin M. Conroy	Composing Integrated Systems Using GUI-Based Applications And Web Services.	IEEE SCC	2007	DBLP DOI BibTeX RDF
28	Xiaohui Gu, Klara Nahrstedt	On Composing Stream Applications in Peer-to-Peer Environments.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	quality-of-service, Peer-to-peer, resource management, service composition, stream processing
28	Haibo Zhao, Prashant Doshi	A Hierarchical Framework for Composing Nested Web Processes.	ICSOC	2006	DBLP DOI BibTeX RDF
28	Omkar J. Tilak, Rajeev R. Raje, Xukai Zou	Composing Access Control Policies of Distributed Components.	DASC	2006	DBLP DOI BibTeX RDF
28	Ronald Fagin, Phokion G. Kolaitis, Lucian Popa 0001, Wang Chiew Tan	Composing schema mappings: Second-order dependencies to the rescue.	ACM Trans. Database Syst.	2005	DBLP DOI BibTeX RDF	computational complexity, data integration, composition, dependencies, Data exchange, schema mapping, conjunctive queries, chase, query answering, certain answers, second-order logic, metadata model management, universal solution
28	Gwo-Jen Hwang, Peng-Yeng Yin, Gwo-Haur Hwang, Ying Chan	A Novel Approach for Composing Test Sheets from Large Item Banks to Meet Multiple Assessment Criteria.	ICALT	2005	DBLP DOI BibTeX RDF
28	Robin C. Laney, Leonor Barroca 0001, Michael Jackson 0001, Bashar Nuseibeh	Composing Requirements Using Problem Frames.	RE	2004	DBLP DOI BibTeX RDF
28	Ross J. Anderson	The Dancing Bear: A New Way of Composing Ciphers.	Security Protocols Workshop	2004	DBLP DOI BibTeX RDF
28	Yuji Sakata, Kazutoshi Yokoyama, Shigeyuki Matsuda	A Method for Composing Process of Non-deterministic Web Services.	ICWS	2004	DBLP DOI BibTeX RDF
28	Ronald Fagin, Phokion G. Kolaitis, Lucian Popa 0001, Wang Chiew Tan	Composing Schema Mappings: Second-Order Dependencies to the Rescue. (PDF / PS)	PODS	2004	DBLP DOI BibTeX RDF
28	Vassilis Christophides, Richard Hull 0001, Gregory Karvounarakis, Akhil Kumar 0001, Geliang Tong, Ming Xiong	Beyond Discrete E-Services: Composing Session-Oriented Services in Telecommunications.	TES	2001	DBLP DOI BibTeX RDF
28	Ryosuke Yamanishi, Keisuke Akita, Shohei Kato	Automated Composing System for Sub-melody Using HMM: A Support System for Composing Music.	ICEC	2010	DBLP DOI BibTeX RDF
28	Georg Boenn, Martin Brain, Marina De Vos, John ffitch	ANTON: Composing Logic and Logic Composing.	LPNMR	2009	DBLP DOI BibTeX RDF
28	Tom Holvoet, Yolande Berbers	Composing distributed applications through generative communication.	ACM SIGOPS European Workshop	1998	DBLP DOI BibTeX RDF
25	Laurent Burgy, Laurent Réveillère, Julia Lawall, Gilles Muller	Zebu: A Language-Based Approach for Network Protocol Message Processing.	IEEE Trans. Software Eng.	2011	DBLP DOI BibTeX RDF	message parsing, message composing, domain-specific languages, Network protocols
25	Wu-Hsi Li	Musical box: draw it yourself.	IDC	2010	DBLP DOI BibTeX RDF	composing interface, toy design, music, performing arts
25	Koen van Boerdonk, Rob Tieben, Sietske Klooster, Elise van den Hoven	Contact through canvas: an entertaining encounter.	Pers. Ubiquitous Comput.	2009	DBLP DOI BibTeX RDF	Choreography of interaction, Collaborative music composing, Bodily contact, Social coherence, User experience, Embodied interaction, Design research, Prototype evaluation
25	Filipe Costa Luz, Rui Pereira Jorge, Vasco Bila	Robosonic: Randomness-Based Manipulation of Sounds Assisted by Robots.	INTETAIN	2009	DBLP DOI BibTeX RDF	Collaborative Composing, Communication, Augmented Reality, Agents, Robots, Randomness, Sound
25	Yen-Ting Lin, Shu-Chen Cheng, Jin-Tan Yang, Yueh-Min Huang	An Automatic Course Generation System for Organizing Existent Learning Objects Using Particle Swarm Optimization.	Edutainment	2009	DBLP DOI BibTeX RDF	Learning Object Composing, Artificial Intelligence, Particle Swarm Optimization
25	Jeongyong Byun, Seunghyun Oh	A Representation of Korean Syllable Characters Defined in Hunminjeongeum.	MMM (2)	2007	DBLP DOI BibTeX RDF	syllabic primitives, Jaso-type, Jamo-type, pre-composed syllable, composing font, Unicode, Hangul
21	Albrecht Schmidt 0001	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
21	Kazuto Nakamura, Mikio Aoyama	Value-Based Dynamic Composition of Web Services.	APSEC	2006	DBLP DOI BibTeX RDF
21	Pierluigi San Pietro, Angelo Morzenti, Sandro Morasca	Generation of Execution Sequences for Modular Time Critical Systems.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	time critical systems, modular notations, formal specifications, Functional testing, structural testing, specification testing
21	Alexander Egyed, Cristina Gacek	Automatically Detecting Mismatches During Component-based and Model-based Development.	ASE	1999	DBLP DOI BibTeX RDF	Component Mismatches, Model Mismatches, Design, Software Architecture, COTS, View Integration
21	Yousef Y. A. Khalidi, Michael N. Nelson	Extensible File Systems in Spring.	SOSP	1993	DBLP DOI BibTeX RDF	UNIX
21	Patricia A. Carlson	Artificial neural networks as cognitive tools for professional writing.	SIGDOC	1990	DBLP DOI BibTeX RDF
21	Heidi Pan, Benjamin Hindman, Krste Asanovic	Composing parallel software efficiently with lithe.	PLDI	2010	DBLP DOI BibTeX RDF	cooperative scheduling, oversubscription, user-level scheduling, parallelism, resource management, composability, hierarchical scheduling
21	Luciano Serafini, Andrei Tamilin	Composing Modular Ontologies with Distributed Description Logics.	Modular Ontologies	2009	DBLP DOI BibTeX RDF
21	Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake	Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications.	ECBS	2009	DBLP DOI BibTeX RDF
21	Luis Pedro, Matteo Risoldi, Didier Buchs, Bruno Barroca, Vasco Amaral 0001	Composing Visual Syntax for Domain Specific Languages.	HCI (2)	2009	DBLP DOI BibTeX RDF
21	Ben Glocker, Christian Wachinger, Jochen Zeltner, Nikos Paragios, Nikos Komodakis, Michael Sass Hansen, Nassir Navab	MRI Composing for Whole Body Imaging.	Bildverarbeitung für die Medizin	2009	DBLP DOI BibTeX RDF
21	Wim Fikkert, Michiel Hakvoort, Paul E. van der Vet, Anton Nijholt	FeelSound: collaborative composing of acoustic music.	Advances in Computer Entertainment Technology	2009	DBLP DOI BibTeX RDF
21	Mohamed Gharzouli, Mahmoud Boufaïda	A Generic P2P Collaborative Strategy for Discovering and Composing Semantic Web Services.	ICIW	2009	DBLP DOI BibTeX RDF
21	Florian Rosenberg, Francisco Curbera, Matthew J. Duftler, Rania Khalaf	Composing RESTful Services and Collaborative Workflows: A Lightweight Approach.	IEEE Internet Comput.	2008	DBLP DOI BibTeX RDF
21	Yoko Nishihara, Wataru Sunayama	Title-Composing Support System for Reaching New Audiences.	ICDM Workshops	2008	DBLP DOI BibTeX RDF
21	Yoann Gabillon, Gaëlle Calvary, Humbert Fiorino	Composing interactive systems by planning.	UbiMob	2008	DBLP DOI BibTeX RDF	IDM, IHM, composition dynamique, contexte d'usage, planification
21	Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli	Composing hybrid systems.	CDC	2008	DBLP DOI BibTeX RDF
21	Debdeep Mukhopadhyay, Dipanwita Roy Chowdhury, Chester Rebeiro	Theory of Composing Non-linear Machines with Predictable Cyclic Structures.	ACRI	2008	DBLP DOI BibTeX RDF	Group Cellular Automata, cyclic properties, Boolean functions, Non-linearity
21	Conor Gaffney, Declan Dagger, Vincent Wade	Supporting personalised simulations: a pedagogic support framework for modelling and composing adaptive dialectic simulations.	SCSC	2007	DBLP BibTeX RDF	adaptivity, educational, composition, personalisation, dialectic
21	Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra	Composing Semi-algebraic O-Minimal Automata.	HSCC	2007	DBLP DOI BibTeX RDF
21	Ranjit Randhawa, Clifford A. Shaffer, John J. Tyson	Fusing and composing macromolecular regulatory network models.	SpringSim (2)	2007	DBLP BibTeX RDF	pathway models, computational biology, systems biology markup language (SBML)
21	Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan, Lothar Thiele	Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems.	RTSS	2007	DBLP DOI BibTeX RDF
21	Antoon Goderis, Christopher X. Brooks, Ilkay Altintas, Edward A. Lee, Carole A. Goble	Composing Different Models of Computation in Kepler and Ptolemy II.	International Conference on Computational Science (3)	2007	DBLP DOI BibTeX RDF	scientific workflow, Model of computation, Kepler, Ptolemy II
21	Tom Goovaerts, Bart De Win, Wouter Joosen	A Flexible Architecture for Enforcing and Composing Policies in a Service-Oriented Environment.	DAIS	2007	DBLP DOI BibTeX RDF
21	Yuhong Yan, Yong Liang 0002, Han Liang	Composing Business Processes with Partial Observable Problem Space in Web Services Environments.	ICWS	2006	DBLP DOI BibTeX RDF
21	Tiezheng Nie, Ge Yu 0001, Derong Shen, Yue Kou, Jie Song 0001	An Approach for Composing Web Services on Demand.	CSCWD	2006	DBLP DOI BibTeX RDF
21	Kung-Kiu Lau, Ling Ling, Zheng Wang 0015	Composing Components in Design Phase using Exogenous Connectors.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
21	Olivia Graciela Fragoso Diaz, René Santaolaya Salgado, Mariana Guzmán R., Mario Guillén R., Manuel A. Valdés Marrero	A Plug-In Tool for Composing Web Services for Applications Development.	ISPA Workshops	2006	DBLP DOI BibTeX RDF
21	Prahladavaradan Sampath, Shrawan Kumar	Composing Context Sensitive Analysis.	SEFM	2006	DBLP DOI BibTeX RDF
21	Silvia E. Gordillo, Gustavo Rossi, Ana Moreira 0001, João Araújo 0001, Carla Vairetti, Matias Urbieta	Modeling and Composing Navigational Concerns in Web Applications. Requirements and Design Issues.	LA-WEB	2006	DBLP DOI BibTeX RDF
21	Lishan Hou, Zhi Jin	FECT: A Modelling Framework for Automatically Composing Web Services.	WAIM	2005	DBLP DOI BibTeX RDF
21	Olga L. Bandman	Composing Fine-Grained Parallel Algorithms for Spatial Dynamics Simulation.	PaCT	2005	DBLP DOI BibTeX RDF
21	Asunción Gómez-Pérez, Rafael González-Cabero, Manuel Lama	ODE SWS: A Framework for Designing and Composing Semantic Web Services.	IEEE Intell. Syst.	2004	DBLP DOI BibTeX RDF
21	Joseph A. Goguen, Grigore Rosu	Composing Hidden Information Modules over Inclusive Institutions.	Essays in Memory of Ole-Johan Dahl	2004	DBLP DOI BibTeX RDF
21	Ross J. Anderson	The Dancing Bear: A New Way of Composing Ciphers (Transcript of Discussion).	Security Protocols Workshop	2004	DBLP DOI BibTeX RDF
21	Michael Backes 0001, Markus Dürmuth, Rainer Steinwandt	An Algebra for Composing Enterprise Privacy Policies.	ESORICS	2004	DBLP DOI BibTeX RDF
21	Chenxi Lin, Yong Yu 0001, Yin Yang, Lei Zhang 0007, Jian Zhou	Towards Composing Information Providing Services.	IEEE SCC	2004	DBLP DOI BibTeX RDF
21	Nikunj R. Mehta, Nenad Medvidovic	Composing architectural styles from architectural primitives.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	Alfa, architectural primitive, channel-based communication, style characterization, style composition, architectural style
21	Steven Abrams, Ralph Bellofatto, Robert M. Fuhrer, Daniel Oppenheim, James L. Wright, Richard Boulanger, Neil Leonard, David Mash, Michael Rendish, Joe Smith	QSketcher: an environment for composing music for film.	Creativity & Cognition	2002	DBLP DOI BibTeX RDF	HCI, creativity, software design, music composition, music representation
21	Pertti Kellomäki	Composing Distributed Systems from Reusable Aspects of Behavior.	ICDCS Workshops	2002	DBLP DOI BibTeX RDF
21	Rajendra Bose	A Conceptual Framework for Composing and Managing Scientific Data Lineage.	SSDBM	2002	DBLP DOI BibTeX RDF
21	Fabio Casati, Mehmet Sayal, Ming-Chien Shan	Developing E-Services for Composing E-Services.	CAiSE	2001	DBLP DOI BibTeX RDF
21	Marisol Sánchez, José Luis Herrero, Juan Manuel Murillo, Juan Hernández Núñez	Guaranteeing Coherent Software Systems when Composing Coordinated Components.	COORDINATION	2000	DBLP DOI BibTeX RDF
21	Pascal Van Hentenryck, Laurent Michel	OPL Script: Composing and Controlling Models.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
21	Antonio Brogi, Simone Contiero, Franco Turini	The Use of Renaming in Composing General Programs.	LOPSTR	1998	DBLP DOI BibTeX RDF
21	Henk J. A. M. Heijmans	Composing morphological filters.	IEEE Trans. Image Process.	1997	DBLP DOI BibTeX RDF
21	Michael Sperber, Peter Thiemann 0001	Two for the Price of One: Composing Partial Evaluation and Compilation.	PLDI	1997	DBLP DOI BibTeX RDF
21	Scott Hazelhurst, Carl-Johan H. Seger	Composing Symbolic Trajectory Evaluation Results.	CAV	1994	DBLP DOI BibTeX RDF
21	Guy L. Steele Jr.	Building Interpreters by Composing Monads.	POPL	1994	DBLP DOI BibTeX RDF
14	Craig S. Miller, Ljubomir Perkovic, Amber Settle	File references, trees, and computational thinking.	ITiCSE	2010	DBLP DOI BibTeX RDF	file referencing, tree structures, web development, computational thinking
14	Daniel Cederman, Philippas Tsigas	Supporting lock-free composition of concurrent data objects.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	data structures, composition, lock-free
14	Zhaohui Wu 0001, ShuiGuang Deng, Ying Li 0001, Jian Wu 0001	Computing compatibility in dynamic service composition.	Knowl. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Behavioral compatibility, Web service, Service composition, ?-calculus
14	Keita Fujii, Tatsuya Suda	Semantics-based context-aware dynamic service composition.	ACM Trans. Auton. Adapt. Syst.	2009	DBLP DOI BibTeX RDF	service oriented framework, context-aware, semantics, Dynamic service composition
14	Wim Fikkert, Michiel Hakvoort, Paul E. van der Vet, Anton Nijholt	FeelSound: interactive acoustic music making.	Advances in Computer Entertainment Technology	2009	DBLP DOI BibTeX RDF
14	Daniele Braga, Stefano Ceri, Florian Daniel, Davide Martinenghi	Mashing Up Search Services.	IEEE Internet Comput.	2008	DBLP DOI BibTeX RDF