|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1738 occurrences of 1164 keywords
|
|
|
Results
Found 2554 publication records. Showing 2554 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Composing Model-Based Analysis Tools ![In: Composing Model-Based Analysis Tools, pp. 41-43, 2021, Springer, 978-3-030-81914-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
60 | Steffen Zschaler, Francisco Durán 0001 |
GTSMorpher: Safely Composing Behavioural Analyses Using Structured Operational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Composing Model-Based Analysis Tools ![In: Composing Model-Based Analysis Tools, pp. 189-215, 2021, Springer, 978-3-030-81914-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Composing Model-Based Analysis Tools ![In: Composing Model-Based Analysis Tools, pp. 235-257, 2021, Springer, 978-3-030-81914-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Composing Model-Based Analysis Tools ![In: Composing Model-Based Analysis Tools, pp. 217-234, 2021, Springer, 978-3-030-81914-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Composing Model-Based Analysis Tools ![In: Composing Model-Based Analysis Tools, pp. 159-185, 2021, Springer, 978-3-030-81914-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Composing Model-Based Analysis Tools ![In: Composing Model-Based Analysis Tools, pp. 9-37, 2021, Springer, 978-3-030-81914-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Composing Model-Based Analysis Tools ![In: Composing Model-Based Analysis Tools, pp. 71-95, 2021, Springer, 978-3-030-81914-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Composing Model-Based Analysis Tools ![In: Composing Model-Based Analysis Tools, pp. 129-158, 2021, Springer, 978-3-030-81914-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
46 | Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara |
AnATLyzer: Static Analysis of ATL Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Composing Model-Based Analysis Tools ![In: Composing Model-Based Analysis Tools, pp. 259-281, 2021, Springer, 978-3-030-81914-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
46 | Kenneth Johnson, Marc Zeller, Arthur Vetter, Dániel Varró |
Continual Model-Based Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Composing Model-Based Analysis Tools ![In: Composing Model-Based Analysis Tools, pp. 97-127, 2021, Springer, 978-3-030-81914-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
46 | Ehsan Khamespanah, Pavle Mrvaljevic, Anas Fattouh, Marjan Sirjani |
Using Afra in Different Domains by Tool Orchestration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Composing Model-Based Analysis Tools ![In: Composing Model-Based Analysis Tools, pp. 283-299, 2021, Springer, 978-3-030-81914-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Composing Model-Based Analysis Tools ![In: Composing Model-Based Analysis Tools, pp. 45-70, 2021, Springer, 978-3-030-81914-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
46 | Francisco Durán 0001, Robert Heinrich, Carolyn L. Talcott, Steffen Zschaler |
Conclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Composing Model-Based Analysis Tools ![In: Composing Model-Based Analysis Tools, pp. 301-307, 2021, Springer, 978-3-030-81914-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
46 | Robert Heinrich, Francisco Durán 0001, Carolyn L. Talcott, Steffen Zschaler |
Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Composing Model-Based Analysis Tools ![In: Composing Model-Based Analysis Tools, pp. 1-8, 2021, Springer, 978-3-030-81914-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
46 | Helen Treharne, Steve A. Schneider, Marchia Bramble |
Composing Specifications Using Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, pp. 58-78, 2003, Springer, 3-540-40253-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 5(2), pp. 139-148, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoWorkshops ![In: Applications of Evolutionary Computing, EvoWorkshops 2009: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG, Tübingen, Germany, April 15-17, 2009. Proceedings, pp. 547-556, 2009, Springer, 978-3-642-01128-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSDBM ![In: Proceedings of the 16th International Conference on Scientific and Statistical Database Management (SSDBM 2004), 21-23 June 2004, Santorini Island, Greece, pp. 275-284, 2004, IEEE Computer Society, 0-7695-2146-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Jennifer Seevinck, Linda Candy, Ernest A. Edmonds |
Exploration and reflection in interactive art: glass pond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OZCHI ![In: Proceedings of the 2006 Australasian Computer-Human Interaction Conference, OZCHI 2006, Sydney, Australia, November 20-24, 2006, pp. 143-150, 2006, ACM, 1-59593-545-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Serv. Oriented Comput. Appl. ![In: Serv. Oriented Comput. Appl. 3(4), pp. 285-306, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Netw. ![In: IEEE Netw. 22(4), pp. 6-12, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Eduard C. Dragut, Ramon Lawrence |
Reducing the Cost of Validating Mapping Compositions by Exploiting Semantic Relationships. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I, pp. 882-890, 2006, Springer, 3-540-48287-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings, pp. 27-28, 1998, Springer, 3-540-65003-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Yan Liu 0001, Simon Truong, Shiping Chen 0001, Liming Zhu 0001 |
Composing Adaptive Web Services on COTS Middleware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2008 IEEE International Conference on Web Services (ICWS 2008), September 23-26, 2008, Beijing, China, pp. 377-384, 2008, IEEE Computer Society, 978-0-7695-3310-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Fei Dai 0002, Tong Li 0004 |
Composing Software Evolution Process Component. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPT ![In: Advanced Parallel Processing Technologies, 7th International Symposium, APPT 2007, Guangzhou, China, November 22-23, 2007, Proceedings, pp. 684-692, 2007, Springer, 978-3-540-76836-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2007 IEEE International Conference on Services Computing (SCC 2007), 9-13 July 2007, Salt Lake City, Utah, USA, pp. 68-75, 2007, IEEE Computer Society, 0-7695-2925-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Xiaohui Gu, Klara Nahrstedt |
On Composing Stream Applications in Peer-to-Peer Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 17(8), pp. 824-837, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2006, 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Proceedings, pp. 116-128, 2006, Springer, 3-540-68147-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Omkar J. Tilak, Rajeev R. Raje, Xukai Zou |
Composing Access Control Policies of Distributed Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASC ![In: Second International Symposium on Dependable Autonomic and Secure Computing (DASC 2006), 29 September - 1 October 2006, Indianapolis, Indiana, USA, pp. 301-307, 2006, IEEE Computer Society, 0-7695-2539-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 30(4), pp. 994-1055, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: Proceedings of the 5th IEEE International Conference on Advanced Learning Technologies, ICALT 2005, Kaohsiung, Taiwan, July 5-8, 2005, pp. 46-50, 2005, IEEE Computer Society, 0-7695-2338-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Robin C. Laney, Leonor Barroca 0001, Michael Jackson 0001, Bashar Nuseibeh |
Composing Requirements Using Problem Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 12th IEEE International Conference on Requirements Engineering (RE 2004), 6-10 September 2004, Kyoto, Japan, pp. 122-131, 2004, IEEE Computer Society, 0-7695-2174-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Ross J. Anderson |
The Dancing Bear: A New Way of Composing Ciphers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security Protocols Workshop ![In: Security Protocols, 12th International Workshop, Cambridge, UK, April 26-28, 2004. Revised Selected Papers, pp. 231-238, 2004, Springer, 3-540-40925-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Yuji Sakata, Kazutoshi Yokoyama, Shigeyuki Matsuda |
A Method for Composing Process of Non-deterministic Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: Proceedings of the IEEE International Conference on Web Services (ICWS'04), June 6-9, 2004, San Diego, California, USA, pp. 436-, 2004, IEEE Computer Society, 0-7695-2167-3. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 14-16, 2004, Paris, France, pp. 83-94, 2004, ACM, 1-58113-858-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TES ![In: Technologies for E-Services, Second International Workshop, TES 2001, Rome, Italy, September 14-15, 2001, Proceedings, pp. 58-73, 2001, Springer, 3-540-42565-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Entertainment Computing - ICEC 2010, 9th International Conference, ICEC 2010, Seoul, Korea, September 8-11, 2010. Proceedings, pp. 425-427, 2010, Springer, 978-3-642-15398-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Georg Boenn, Martin Brain, Marina De Vos, John ffitch |
ANTON: Composing Logic and Logic Composing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings, pp. 542-547, 2009, Springer, 978-3-642-04237-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Tom Holvoet, Yolande Berbers |
Composing distributed applications through generative communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 8th ACM SIGOPS European Workshop: Support for Composing Distributed Applications, Sintra, Portugal, 7-10 September 1998, pp. 214-221, 1998, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 37(4), pp. 575-591, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
message parsing, message composing, domain-specific languages, Network protocols |
25 | Wu-Hsi Li |
Musical box: draw it yourself. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDC ![In: Interaction Design and Children, Proceedings of the 9th International Conference on Interaction Design and Children, IDC 2010, Barcelona, Spain, June 9-12, 2010, pp. 293-295, 2010, ACM, 978-1-60558-951-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pers. Ubiquitous Comput. ![In: Pers. Ubiquitous Comput. 13(8), pp. 551-567, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTETAIN ![In: Intelligent Technologies for Interactive Entertainment, Third International Conference, INTETAIN 2009, Amsterdam, The Netherlands, June 22-24, 2009. Proceedings, pp. 143-152, 2009, Springer, 978-3-642-02314-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edutainment ![In: Learning by Playing. Game-based Education System Design and Development, 4th International Conference on E-Learning and Games, Edutainment 2009, Banff, Canada, August 9-11, 2009. Proceedings, pp. 565-570, 2009, Springer, 978-3-642-03363-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMM (2) ![In: Advances in Multimedia Modeling, 13th International Multimedia Modeling Conference, MMM 2007, Singapore, January 9-12, 2007. Proceedings, Part II, pp. 662-670, 2007, Springer, 978-3-540-69428-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EICS ![In: Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, EICS 2011, Pisa, Italy, June 13-16, 2011, pp. 229-230, 2011, ACM, 978-1-4503-0670-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Kazuto Nakamura, Mikio Aoyama |
Value-Based Dynamic Composition of Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 6-8 December 2006, Bangalore, India, pp. 139-146, 2006, IEEE Computer Society, 0-7695-2685-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Pierluigi San Pietro, Angelo Morzenti, Sandro Morasca |
Generation of Execution Sequences for Modular Time Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(2), pp. 128-149, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The 14th IEEE International Conference on Automated Software Engineering, ASE 1999, Cocoa Beach, Florida, USA, 12-15 October 1999, pp. 191-198, 1999, IEEE Computer Society, 0-7695-0415-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the Fourteenth ACM Symposium on Operating System Principles, SOSP 1993, The Grove Park Inn and Country Club, Asheville, North Carolina, USA, December 5-8, 1993, pp. 1-14, 1993, ACM, 0-89791-632-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
UNIX |
21 | Patricia A. Carlson |
Artificial neural networks as cognitive tools for professional writing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 8th Annual International Conference on Systems Documentation, SIGDOC 1990, Little Rock, Arkansas, USA, October 31 - November 2, 1990, pp. 95-110, 1990, ACM, 0-89791-414-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
21 | Heidi Pan, Benjamin Hindman, Krste Asanovic |
Composing parallel software efficiently with lithe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010, pp. 376-387, 2010, ACM, 978-1-4503-0019-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modular Ontologies ![In: Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization, pp. 321-347, 2009, Springer, 978-3-642-01906-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake |
Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, San Francisco, California, USA, 14-16 April 2009, pp. 138-146, 2009, IEEE Computer Society, 978-0-7695-3602-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Luis Pedro, Matteo Risoldi, Didier Buchs, Bruno Barroca, Vasco Amaral 0001 |
Composing Visual Syntax for Domain Specific Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (2) ![In: Human-Computer Interaction. Novel Interaction Methods and Techniques, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II, pp. 889-898, 2009, Springer, 978-3-642-02576-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bildverarbeitung für die Medizin ![In: Bildverarbeitung für die Medizin 2009: Algorithmen - Systeme - Anwendungen, Proceedings des Workshops vom 22. bis 25. März 2009 in Heidelberg, pp. 420-424, 2009, Springer, 978-3-540-93859-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Wim Fikkert, Michiel Hakvoort, Paul E. van der Vet, Anton Nijholt |
FeelSound: collaborative composing of acoustic music. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Computer Entertainment Technology ![In: Proceedings of the International Conference on Advances in Computer Entertainment Technology, ACE 2009, Athens, Greece, October 29-31, 2009, pp. 294-297, 2009, ACM, 978-1-60558-864-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Mohamed Gharzouli, Mahmoud Boufaïda |
A Generic P2P Collaborative Strategy for Discovering and Composing Semantic Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: Fourth International Conference on Internet and Web Applications and Services, ICIW 2009, 24-28 May 2009, Venice/Mestre, Italy, pp. 449-454, 2009, IEEE Computer Society, 978-0-7695-3613-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Florian Rosenberg, Francisco Curbera, Matthew J. Duftler, Rania Khalaf |
Composing RESTful Services and Collaborative Workflows: A Lightweight Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 12(5), pp. 24-31, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Yoko Nishihara, Wataru Sunayama |
Title-Composing Support System for Reaching New Audiences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM Workshops ![In: Workshops Proceedings of the 8th IEEE International Conference on Data Mining (ICDM 2008), December 15-19, 2008, Pisa, Italy, pp. 816-822, 2008, IEEE Computer Society, 978-0-7695-3503-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Yoann Gabillon, Gaëlle Calvary, Humbert Fiorino |
Composing interactive systems by planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UbiMob ![In: Actes des quatrièmes journées francophones Mobilité et Ubiquité 2008, UBIMOB'08, 28-30 Mai 2008, Institut Universitaire de Technologie Saint Malo, France, pp. 37-40, 2008, ACM, 978-1-59593-980-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 4693-4699, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Debdeep Mukhopadhyay, Dipanwita Roy Chowdhury, Chester Rebeiro |
Theory of Composing Non-linear Machines with Predictable Cyclic Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACRI ![In: Cellular Automata, 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings, pp. 210-219, 2008, Springer, 978-3-540-79991-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 1175-1182, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
adaptivity, educational, composition, personalisation, dialectic |
21 | Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra |
Composing Semi-algebraic O-Minimal Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings, pp. 668-671, 2007, Springer, 978-3-540-71492-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Ranjit Randhawa, Clifford A. Shaffer, John J. Tyson |
Fusing and composing macromolecular regulatory network models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (2) ![In: Proceedings of the 2007 Spring Simulation Multiconference, SpringSim 2007, Norfolk, Virginia, USA, March 25-29, 2007, Volume 2, pp. 337-344, 2007, SCS/ACM, 1-56555-313-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 3-6 December 2007, Tucson, Arizona, USA, pp. 343-352, 2007, IEEE Computer Society, 0-7695-3062-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III, pp. 182-190, 2007, Springer, 978-3-540-72587-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAIS ![In: Distributed Applications and Interoperable Systems, 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, pp. 253-266, 2007, Springer, 978-3-540-72881-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2006 IEEE International Conference on Web Services (ICWS 2006), 18-22 September 2006, Chicago, Illinois, USA, pp. 541-548, 2006, IEEE Computer Society, 0-7695-2669-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD ![In: Proceedings of the 10th International Conference on CSCW in Design, CSCWD 2006, May 3-5, 2006, Southeast University, Nanjing, China, pp. 734-739, 2006, IEEE, 1-4244-0165-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Kung-Kiu Lau, Ling Ling, Zheng Wang 0015 |
Composing Components in Design Phase using Exogenous Connectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29 - September 1, 2006, Cavtat/Dubrovnik, Croatia, pp. 12-19, 2006, IEEE Computer Society, 0-7695-2594-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA Workshops ![In: Frontiers of High Performance Computing and Networking - ISPA 2006 Workshops, ISPA 2006 International Workshops, FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4-7, 2006, Proceedings, pp. 589-597, 2006, Springer, 3-540-49860-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Prahladavaradan Sampath, Shrawan Kumar |
Composing Context Sensitive Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India, pp. 186-195, 2006, IEEE Computer Society, 0-7695-2678-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LA-WEB ![In: Fourth Latin American Web Congress (LA-Web 2006), 25-27 October 2006, Cholula, Puebla, Mexico, pp. 25-31, 2006, IEEE Computer Society, 0-7695-2693-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Lishan Hou, Zhi Jin |
FECT: A Modelling Framework for Automatically Composing Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAIM ![In: Advances in Web-Age Information Management, 6th International Conference, WAIM 2005, Hangzhou, China, October 11-13, 2005, Proceedings, pp. 320-332, 2005, Springer, 3-540-29227-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Olga L. Bandman |
Composing Fine-Grained Parallel Algorithms for Spatial Dynamics Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings, pp. 99-113, 2005, Springer, 3-540-28126-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 19(4), pp. 24-31, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Joseph A. Goguen, Grigore Rosu |
Composing Hidden Information Modules over Inclusive Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Essays in Memory of Ole-Johan Dahl ![In: From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl, pp. 96-123, 2004, Springer, 3-540-21366-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Ross J. Anderson |
The Dancing Bear: A New Way of Composing Ciphers (Transcript of Discussion). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security Protocols Workshop ![In: Security Protocols, 12th International Workshop, Cambridge, UK, April 26-28, 2004. Revised Selected Papers, pp. 239-245, 2004, Springer, 3-540-40925-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Michael Backes 0001, Markus Dürmuth, Rainer Steinwandt |
An Algebra for Composing Enterprise Privacy Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2004, 9th European Symposium on Research Computer Security, Sophia Antipolis, France, September 13-15, 2004, Proceedings, pp. 33-52, 2004, Springer, 3-540-22987-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Chenxi Lin, Yong Yu 0001, Yin Yang, Lei Zhang 0007, Jian Zhou |
Towards Composing Information Providing Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2004 IEEE International Conference on Services Computing (SCC 2004), 15-18 September 2004, Shanghai, China, pp. 117-122, 2004, IEEE Computer Society, 0-7695-2225-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Nikunj R. Mehta, Nenad Medvidovic |
Composing architectural styles from architectural primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003, pp. 347-350, 2003, ACM, 978-1-58113-743-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Creativity & Cognition ![In: Proceedings of the 4th Conference on Creativity & Cognition, Loughborough, United Kingdom, October 13-16, 2002, pp. 157-164, 2002, ACM, 1-58113-465-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 22nd International Conference on Distributed Computing Systems, Workshops (ICDCSW '02) July 2-5, 2002, Vienna, Austria, Proceedings, pp. 481-486, 2002, IEEE Computer Society, 0-7695-1588-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Rajendra Bose |
A Conceptual Framework for Composing and Managing Scientific Data Lineage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSDBM ![In: Proceedings of the 14th International Conference on Scientific and Statistical Database Management, July 24-26, 2002, Edinburgh, Scotland, UK, pp. 15-19, 2002, IEEE Computer Society, 0-7695-1632-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Fabio Casati, Mehmet Sayal, Ming-Chien Shan |
Developing E-Services for Composing E-Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001, Proceedings, pp. 171-186, 2001, Springer, 3-540-42215-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings, pp. 341-346, 2000, Springer, 3-540-41020-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Pascal Van Hentenryck, Laurent Michel |
OPL Script: Composing and Controlling Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Trends in Constraints ![In: New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers, pp. 75-90, 1999, Springer, 3-540-67885-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Antonio Brogi, Simone Contiero, Franco Turini |
The Use of Renaming in Composing General Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings, pp. 124-142, 1998, Springer, 3-540-65765-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Henk J. A. M. Heijmans |
Composing morphological filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 6(5), pp. 713-723, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Michael Sperber, Peter Thiemann 0001 |
Two for the Price of One: Composing Partial Evaluation and Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), Las Vegas, Nevada, USA, June 15-18, 1997, pp. 215-225, 1997, ACM, 0-89791-907-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Scott Hazelhurst, Carl-Johan H. Seger |
Composing Symbolic Trajectory Evaluation Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994, Proceedings, pp. 273-285, 1994, Springer, 3-540-58179-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Guy L. Steele Jr. |
Building Interpreters by Composing Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, USA, January 17-21, 1994, pp. 472-492, 1994, ACM Press, 0-89791-636-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Craig S. Miller, Ljubomir Perkovic, Amber Settle |
File references, trees, and computational thinking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 15th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2010, Bilkent, Ankara, Turkey, June 26-30, 2010, pp. 132-136, 2010, ACM, 978-1-60558-729-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the 7th Conference on Computing Frontiers, 2010, Bertinoro, Italy, May 17-19, 2010, pp. 53-62, 2010, ACM, 978-1-4503-0044-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 19(1), pp. 107-129, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Behavioral compatibility, Web service, Service composition, ?-calculus |
14 | Keita Fujii, Tatsuya Suda |
Semantics-based context-aware dynamic service composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Auton. Adapt. Syst. ![In: ACM Trans. Auton. Adapt. Syst. 4(2), pp. 12:1-12:31, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Computer Entertainment Technology ![In: Proceedings of the International Conference on Advances in Computer Entertainment Technology, ACE 2009, Athens, Greece, October 29-31, 2009, pp. 449, 2009, ACM, 978-1-60558-864-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Daniele Braga, Stefano Ceri, Florian Daniel, Davide Martinenghi |
Mashing Up Search Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 12(5), pp. 16-23, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 2554 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|