|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2499 occurrences of 1359 keywords
|
|
|
Results
Found 3150 publication records. Showing 3150 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
27 | Roberto Lublinerman, Stavros Tripakis |
Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008, pp. 1504-1509, 2008, ACM, 978-3-9810801-3-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Vineet R. Khare, Bernhard Sendhoff, Xin Yao 0001 |
Environments Conducive to Evolution of Modularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN IX, 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Procedings, pp. 603-612, 2006, Springer, 3-540-38990-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Richard P. Gabriel, Guy L. Steele Jr., Friedrich Steimann, Jim Waldo, Gregor Kiczales, Kevin J. Sullivan |
Aspects and/versus modularity the grand debate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 935-936, 2006, ACM, 1-59593-491-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
independent development, software engineering, aspect-oriented programming, modularization, separation of concerns, aspect-oriented software development, readability, program structure |
27 | Francisco Heron de Carvalho Junior, Rafael Dueire Lins |
The # model: separation of concerns for reconciling modularity, abstraction and efficiency in distributed parallel programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 1357-1364, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
high performance computing software, software engineering, parallel programming, separation of concerns |
27 | Horacio Ahuett, Joaquín Aca, Arturo Molina 0001 |
A Directed Evolution Modularity Framework for Design of Reconfigurable Machine Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDVE ![In: Cooperative Design, Visualization, and Engineering, Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005, Proceedings, pp. 243-252, 2005, Springer, 3-540-28948-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Marc Denecker, Eugenia Ternovska |
A Logic of Non-monotone Inductive Definitions and Its Modularity Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings, pp. 47-60, 2004, Springer, 3-540-20721-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Edith Hemaspaandra, Holger Spakowski, Mayur Thakur |
Complexity of Cycle Length Modularity Problems in Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2004: Theoretical Informatics, 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings, pp. 509-518, 2004, Springer, 3-540-21258-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Jennifer Hallinan |
Self-Organization Leads to Hierarchical Modularity in an Internet Community. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 7th International Conference, KES 2003, Oxford, UK, September 3-5, 2003, Proceedings, Part I, pp. 914-920, 2003, Springer, 3-540-40803-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Irène Durand, Aart Middeldorp |
On the Modularity of Deciding Call-by-Need. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 199-213, 2001, Springer, 3-540-41864-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Jozef Kelemen |
From Statistics to Emergence: Exercises in Systems Modularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EASSS ![In: Multi-Agent Systems and Applications, 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School, EASSS 2001, Prague, Czech Republic, July 2-13, 2001, Selected Tutorial Papers, pp. 281-300, 2001, Springer, 3-540-42312-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Il-Seok Oh, Jin-Seon Lee, Ching Y. Suen |
A Class-Modularity for Character Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 6th International Conference on Document Analysis and Recognition (ICDAR 2001), 10-13 September 2001, Seattle, WA, USA, pp. 64-68, 2001, IEEE Computer Society, 0-7695-1263-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Cristina Videira Lopes, Gregor Kiczales |
Improving design and source code modularity using AspectJ (tutorial session). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000., pp. 825, 2000, ACM, 1-58113-206-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Java |
27 | Geert Poels |
Evaluating the Modularity of Model-Driven Object-Oriented Software Architectures (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP Workshops ![In: Object-Oriented Technology, ECOOP'98 Workshop Reader, ECOOP'98 Workshops, Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings, pp. 52-53, 1998, Springer, 3-540-65460-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Bernhard Gramlich |
On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings, pp. 186-203, 1994, Springer, 3-540-58431-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
27 | Enno Ohlebusch |
On the Modularity of Confluence of Constructor-Sharing Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: Trees in Algebra and Programming - CAAP'94, 19th International Colloquium, Edinburgh, UK, April 11-13, 1994, Proceedings, pp. 261-275, 1994, Springer, 3-540-57879-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
27 | Rodney Farrow, Thomas J. Marlowe, Daniel M. Yellin |
Composable Attribute Grammars: Support for Modularity in Translator Design and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 19-22, 1992, pp. 223-234, 1992, ACM Press, 0-89791-453-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
27 | Zahra Masdarolomoor, Sadegh Aliakbary, Reza Azmi, Noushin Riahi |
Distributed Community Detection in Complex Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICSyN ![In: Third International Conference on Computational Intelligence, Communication Systems and Networks, CICSyN 2011, Bali, Indonesia, 26-28 July, 2011, pp. 281-286, 2011, IEEE Computer Society, 978-1-4577-0975-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
local modularity, distributed algorithms, modularity, Complex Networks, community detection |
26 | Yijing Liu, Ali Hong, Zongyan Qiu |
Inheritance and Modularity in Specification and Verification of OO Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, China, 29-31 August 2011, pp. 19-26, 2011, IEEE Computer Society, 978-1-4577-1487-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Verification, Object Orientation, Specification, Abstraction, Modularity, Separation Logic |
26 | Macneil Shonle, Timothy T. Yuen |
Compose & conquer: modularity for end-users. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 191-194, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
architectural mismatch, modularity, end-user programming |
26 | Xiaolong Deng, Bai Wang 0001, Bin Wu 0001, Shengqi Yang |
Research and Evaluation on Modularity Modeling in Community Detecting of Complex Network Based on Information Entropy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIRI ![In: Third IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2009, Shanghai, China, July 8-10, 2009, pp. 297-302, 2009, IEEE Computer Society, 978-0-7695-3758-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Modularity, Complex Network, Information Entropy, Community Structure |
26 | René Doursat |
Facilitating evolutionary innovation by developmental modularity and variability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, pp. 683-690, 2009, ACM, 978-1-60558-325-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
bio-inspired engineering, architectures, robotics, modularity, self-organization, systems design, complex systems, spatial computing, artificial embryogeny, evolutionary development |
26 | Pavel Avgustinov, Torbjörn Ekman 0001, Julian Tibble |
Modularity first: a case for mixing AOP and attribute grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 7th International Conference on Aspect-Oriented Software Development, AOSD 2008, Brussels, Belgium, March 31 - April 4, 2008, pp. 25-35, 2008, ACM, 978-1-60558-044-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, modularity, separation of concerns, extensible compilers |
26 | Joost Vennekens, David Gilis, Marc Denecker |
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 7(4), pp. 765-797, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
auto-epistemic logic, logic programming, Modularity, default logic |
26 | Yvonne Coady, Gregor Kiczales, Michael J. Feeley, Greg Smolyn |
Using aspectC to improve the modularity of path-specific customization in operating system code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, Vienna, Austria, September 10-14, 2001, pp. 88-98, 2001, ACM, 978-1-58113-390-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, software modularity, operating system design |
26 | Santosh K. Shrivastava, Daniel L. McCue |
Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(4), pp. 421-432, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
fault-tolerantobject systems, distributed programming systems, fault tolerance, distributed systems, distributed computing, fault tolerant computing, distributed processing, replication, modularity, migration, object-oriented methods, distributed environment, object-oriented systems, object-oriented approach, atomic actions, persistent objects, atomic transactions |
26 | Mark T. Vandevoorde, John V. Guttag |
Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1994, New Orleans, Louisiana, USA, December 6-9, 1994, pp. 121-127, 1994, ACM, 978-0-89791-691-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
program modularity, formal specifications, compilers, program optimization, software interfaces |
26 | Esther M. Arkin, Christos H. Papadimitriou, Mihalis Yannakakis |
Modularity of Cycles and Paths in Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 38(2), pp. 255-274, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
cycles and paths, graphs, modularity |
26 | Yibo Zou, Donghan Kim 0001, Philip Norman, Jose Espinosa, Jen-Chieh Wang, Gurvinder S. Virk |
Towards robot modularity - A review of international modularity standardization for service robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics Auton. Syst. ![In: Robotics Auton. Syst. 148, pp. 103943, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Ling Huang, Chang-Dong Wang, Hongyang Chao |
HM-Modularity: A Harmonic Motif Modularity Approach for Multi-Layer Network Community Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 33(6), pp. 2520-2533, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Rafael de Santiago, Luís C. Lamb |
A ground truth contest between modularity maximization and modularity density maximization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 53(6), pp. 4575-4599, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Dilian Gurov, Reiner Hähnle, Eduard Kamburjan |
Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (1) ![In: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I, pp. 3-21, 2020, Springer, 978-3-030-61361-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Jens Poeppelbuss, Alexander Lubarski |
Modularity Canvas - A Framework for Visualizing Potentials of Service Modularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirtschaftsinformatik ![In: Human Practice. Digital Ecologies. Our Future. 14. Internationale Tagung Wirtschaftsinformatik (WI 2019), February 24-27, 2019, Siegen, Germany., pp. 706-720, 2019, University of Siegen, Germany / AISeL. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
26 | Toni Mattis, Robert Hirschfeld |
Activity Contexts: Improving Modularity in Blockchain-based Smart Contracts using Context-oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COP@ECOOP ![In: Proceedings of the 10th International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition, COP@ECOOP 2018, Amsterdam, Netherlands, July 16, 2018, pp. 31-38, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Dario Fasino, Francesco Tudisco |
Modularity bounds for clusters located by leading eigenvectors of the normalized modularity matrix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1602.05457, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
26 | Iaakov Exman, Daniel Speicher |
Linear Software Models: Equivalence of Modularity Matrix to Its Modularity Lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT-PT ![In: ICSOFT-PT 2015 - Proceedings of the 10th International Conference on Software Paradigm Trends, Colmar, Alsace, France, 20-22 July, 2015., pp. 109-116, 2015, SciTePress, 978-989-758-115-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Regine Dörbecker, Daniela Böhm, Tilo Böhmann |
Measuring Modularity and Related Effects for Services, Products, Networks, and Software - A Comparative Literature Review and a Research Agenda for Service Modularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 48th Hawaii International Conference on System Sciences, HICSS 2015, Kauai, Hawaii, USA, January 5-8, 2015, pp. 1360-1369, 2015, IEEE Computer Society, 978-1-4799-7367-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Iaakov Exman |
Software Design with the Modularity Matrix and the Modularity Conceptual Lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SKY ![In: SKY 2015 - Proceedings of the 6th International Workshop on Software Knowledge, Lisbon, Portugal, November 12-14, 2015, pp. 72-73, 2015, SciTePress, 978-989-758-162-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
26 | Leung-Yau Lo, Man-Leung Wong, Kin-Hong Lee, Kwong-Sak Leung |
Exploiting modularity and hierarchical modularity to infer large causal gene regulatory network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIBCB ![In: IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, CIBCB 2015, Niagara Falls, ON, Canada, August 12-15, 2015, pp. 1-8, 2015, IEEE, 978-1-4799-6926-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Andi Wahju Rahardjo Emanuel, Daniel Jahja Surjawan |
Revised Modularity Index to Measure Modularity of OSS Projects with Case Study of Freemind. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1309.5688, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
26 | Stefan Marr, Jens Nicolay, Tom Van Cutsem, Theo D'Hondt |
Modularity and conventions for maintainable concurrent language implementations: a review of our experiences and practices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MISS@AOSD ![In: Proceedings of the 2012 Workshop on Modularity in Systems Software, MISS@AOSD 2012, Potsdam, Germany, March 27, 2012, pp. 21-26, 2012, ACM, 978-1-4503-1217-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Dimitri Van Landuyt, Eddy Truyen, Wouter Joosen |
On the modularity impact of architectural assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NEMARA@AOSD ![In: Proceedings of the 2012 Workshop on Next Generation Modularity Approaches for Requirements and Architecture, NEMARA '12, Potsdam, Germany, March 27, 2012, pp. 13-16, 2012, ACM, 978-1-4503-1127-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Jochen Streicher, Christoph Borchert, Olaf Spinczyk |
Upcall dispatcher aspects: combining modularity with efficiency in the CiAO IP stack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MISS@AOSD ![In: Proceedings of the 1st workshop on Modularity in systems software, MISS@AOSD 2011, Porto de Galinhas, Brazil, March 22, 2011, pp. 23-27, 2011, ACM, 978-1-4503-0647-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Tsuyoshi Murata |
Detecting Communities from Bipartite Networks Based on Bipartite Modularities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSE (4) ![In: Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, CSE 2009, Vancouver, BC, Canada, August 29-31, 2009, pp. 50-57, 2009, IEEE Computer Society, 978-1-4244-5334-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Christoph Lange 0002, Michael Kohlhase |
A Mathematical Approach to Ontology Authoring and Documentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus/MKM ![In: Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings, pp. 389-404, 2009, Springer, 978-3-642-02613-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Yutaka I. Leon-Suematsu, Kikuo Yuta |
A framework for fast community extraction of large-scale networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 17th International Conference on World Wide Web, WWW 2008, Beijing, China, April 21-25, 2008, pp. 1215-1216, 2008, ACM, 978-1-60558-085-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
clustering, large-scale networks, community analysis |
21 | Zef Hemel, Lennart C. L. Kats, Eelco Visser |
Code Generation by Model Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT@TOOLS ![In: Theory and Practice of Model Transformations - 1st International Conference, ICMT@TOOLS 2008, Zurich, Switzerland, July 1-2, 2008, Proceedings, pp. 183-198, 2008, Springer, 978-3-540-69926-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Zhemin Zhu, Chen Wang 0020, Li Ma 0002, Yue Pan, Zhiming Ding |
Scalable Community Discovery of Large Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAIM ![In: The Ninth International Conference on Web-Age Information Management, WAIM 2008, July 20-22, 2008, Zhangjiajie, China, pp. 381-388, 2008, IEEE Computer Society, 978-0-7695-3185-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Eduardo Figueiredo 0001, Nélio Cacho, Cláudio Sant'Anna, Mario Monteiro, Uirá Kulesza, Alessandro Garcia 0001, Sérgio Soares, Fabiano Cutigi Ferrari, Safoora Shakil Khan, Fernando Castor Filho, Francisco Dantas |
Evolving software product lines with aspects: an empirical study on design stability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 261-270, 2008, ACM, 978-1-60558-079-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, software product lines, empirical evaluation |
21 | Tuan Hao Hoang, Robert I. McKay, Daryl Essam, Nguyen Xuan Hoai |
Developmental Evaluation in Genetic Programming: A Position Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBIT ![In: Frontiers in the Convergence of Bioscience and Information Technologies 2007, FBIT 2007, Jeju Island, Korea, October 11-13, 2007, pp. 773-778, 2007, IEEE Computer Society, 978-0-7695-2999-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Michael English, Jim Buckley, Tony Cahill |
Fine-Grained Software Metrics in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEM ![In: Proceedings of the First International Symposium on Empirical Software Engineering and Measurement, ESEM 2007, September 20-21, 2007, Madrid, Spain, pp. 295-304, 2007, ACM / IEEE Computer Society, 0-7695-2886-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Marco Gaertler, Robert Görke, Dorothea Wagner |
Significance-Driven Graph Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAIM ![In: Algorithmic Aspects in Information and Management, Third International Conference, AAIM 2007, Portland, OR, USA, June 6-8, 2007, Proceedings, pp. 11-26, 2007, Springer, 978-3-540-72868-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Zhuo Wang, Xin-Guang Zhu, Yazhu Chen, Yi-Xue Li, Lei Liu |
Comparison of Modularization Methods in Application to Different Biological Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDMB ![In: Data Mining and Bioinformatics, First International Workshop, VDMB 2006, Seoul, Korea, September 11, 2006, Revised Selected Papers, pp. 185-195, 2006, Springer, 3-540-68970-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Markov clustering (MCL), network, simulated annealing (SA), module |
21 | Jean-Pierre Jouannaud |
Modular Church-Rosser Modulo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings, pp. 96-107, 2006, Springer, 3-540-36834-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Peter Fine, Ezequiel A. Di Paolo, Andrew Philippides |
Spatially Constrained Networks and the Evolution of Modular Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAB ![In: From Animals to Animats 9, 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006, Proceedings, pp. 546-557, 2006, Springer, 3-540-38608-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Stefan Kramer 0001, Hermann Kaindl |
Coupling and cohesion metrics for knowledge-based systems using frames and rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 13(3), pp. 332-358, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
knowledge-based systems, Coupling, cohesion |
21 | Simona Bernardi 0001, Susanna Donatelli |
Stochastic Petri Nets and Inheritance for Dependability Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 3-5 March 2004, Papeete, Tahiti, pp. 363-372, 2004, IEEE Computer Society, 0-7695-2076-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Ramnivas Laddad, Roger T. Alexander |
Aspect-Oriented Programming Will Improve Quality / Aspect-Oriented Programming: the Real Costs? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 20(6), pp. 90-93, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Ozlem O. Garibay, Ivan I. Garibay, Annie S. Wu |
The Modular Genetic Algorithm: Exploiting Regularities in the Problem Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIS ![In: Computer and Information Sciences - ISCIS 2003, 18th International Symposium, Antalya, Turkey, November 3-5, 2003, Proceedings, pp. 584-591, 2003, Springer, 3-540-20409-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Pedro Resende |
Modular Specification of Concurrent Systems with Observational Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers, pp. 310-325, 1998, Springer, 3-540-66246-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | David D. Yao |
S-modular games, with queueing applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 21(3-4), pp. 449-475, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
submodularity/supermodularity, control of queues, convergence, Nash equilibrium, Noncooperative games |
20 | João L. Gomes, Miguel P. Monteiro 0001 |
Design pattern implementation in object teams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 2119-2120, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
design patterns, aspect-oriented programming, modularity |
20 | Marcelo Cataldo, James D. Herbsleb |
Architecting in software ecosystems: interface translucence as an enabler for scalable collaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA Companion Volume ![In: Software Architecture, 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Companion Volume, pp. 65-72, 2010, ACM, 978-1-4503-0179-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
interface translucence, collaboration, software architecture, awareness, modularity, software ecosystems |
20 | Jesús Sánchez Cuadrado, Jesús García Molina |
Modularization of model transformations through a phasing mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 8(3), pp. 325-345, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Phasing mechanism, Internal transformation composition, Modularity, Model transformation, Transformation languages |
20 | Fang Wei, Weining Qian, Chen Wang 0020, Aoying Zhou |
Detecting Overlapping Community Structures in Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Wide Web ![In: World Wide Web 12(2), pp. 235-261, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
overlapping community structure, seed expansion, modularity function, random walks |
20 | Arnon Avron |
Multi-valued Semantics: Why and How. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 92(2), pp. 163-182, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Multi-valued semantics, Suszko’s Thesis, analycity, modularity, many-valued logics, non-deterministic matrices |
20 | Shu Yan Chan, Ian X. Y. Leung, Pietro Liò |
Fast centrality approximation in modular networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM-CNIKM ![In: Proceeding of the ACM First International Workshop on Complex Networks Meet Information & Knowledge Management, CIKM-CNIKM 2009, Hong Kong, China, November 6, 2009, pp. 31-38, 2009, ACM, 978-1-60558-807-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
modularity, complex network, centrality, community detection |
20 | Dongsheng Duan, Yuhua Li 0003, Yanan Jin, Zhengding Lu |
Community mining on dynamic weighted directed graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM-CNIKM ![In: Proceeding of the ACM First International Workshop on Complex Networks Meet Information & Knowledge Management, CIKM-CNIKM 2009, Hong Kong, China, November 6, 2009, pp. 11-18, 2009, ACM, 978-1-60558-807-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
change-point detection, dynamic weighted directed graph, modularity, compactness, community discovery |
20 | Phil Greenwood, Alessandro Garcia 0001, Yuanfang Cai, Cláudio Sant'Anna, Kevin J. Sullivan, Thomas Cottenier, James Noble 0001 |
3rd workshop on assessment of contemporary modularization techniques (ACoM 2009). ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 715-716, 2009, ACM, 978-1-60558-768-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
metrics, modularity, assessment, adoption |
20 | Donna Malayeri, Jonathan Aldrich |
CZ: multiple inheritance without diamonds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 21-40, 2009, ACM, 978-1-60558-766-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
diamond problem, modularity, multiple inheritance, multimethods |
20 | Chuan Shi, Yi Wang 0010, Bin Wu 0001, Cha Zhong |
A New Genetic Algorithm for Community Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex (2) ![In: Complex Sciences, First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009. Revised Papers, Part 2, pp. 1298-1309, 2009, Springer, 978-3-642-02468-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
genetic algorithm, modularity, complex network, community detection |
20 | Tsuyoshi Murata |
Modularities for bipartite networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hypertext ![In: HYPERTEXT 2009, Proceedings of the 20th ACM Conference on Hypertext and Hypermedia, Torino, Italy, June 29 - July 1, 2009, pp. 245-250, 2009, ACM, 978-1-60558-486-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
community, modularity, bipartite network |
20 | Vincent Lacroix, Ludovic Cottret, Patricia Thébault, Marie-France Sagot |
An Introduction to Metabolic Networks and Their Structural Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 5(4), pp. 594-617, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Introductory and Survey, modelling, Graph Theory, modularity, evolution, reconstruction, Biology and genetics, metabolic networks |
20 | Roberto Lublinerman, Stavros Tripakis |
Modular Code Generation from Triggered and Timed Block Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2008, April 22-24, 2008, St. Louis, Missouri, USA, pp. 147-158, 2008, IEEE Computer Society, 978-0-7695-3146-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Modularity, Code generation, Block diagrams |
20 | Michael Pedersen |
Compositional Definitions of Minimal Flows in Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology, 6th International Conference, CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings, pp. 288-307, 2008, Springer, 978-3-540-88561-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
minimal flows, minimal invariants, the Calculus of Biochemical Systems, Petri nets, modularity |
20 | Benjamin Tissoires, Stéphane Conversy |
Graphic Rendering Considered as a Compilation Chain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers, pp. 267-280, 2008, Springer, 978-3-540-70568-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
compiler, computer graphics, modularity, dataflow, interactive software |
20 | Hans Grönniger, Holger Krahn, Bernhard Rumpe, Martin Schindler, Steven Völkel |
MontiCore: a framework for the development of textual domain specific languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, Companion Volume, pp. 925-926, 2008, ACM. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
modularity, domain specific languages, extensibility |
20 | Hans Weber 0002 |
On Lattices of Uniformities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 24(4), pp. 249-276, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Lattice uniformities, Distributivity, Modularity, Lattices, Uniformities, Complements |
20 | YingZhou Zhang |
A novel formal approach to program slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 50(5), pp. 657-670, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
slice monad transformer, modularity, program slicing, formal semantics, monads |
20 | Makoto Hamana |
Higher-order semantic labelling for inductive datatype systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland, pp. 97-108, 2007, ACM, 978-1-59593-769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
categorical semantics, higher-order rewriting, modularity, termination, higher-order abstract syntax, initial algebra semantics |
20 | Alessandro Garcia 0001, Thaís Vasconcelos Batista, Awais Rashid, Cláudio Sant'Anna |
Driving and managing architectural decisions with aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 31(5), 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
modularity, aspect-oriented software development, composability, early aspects, architectural decisions |
20 | Cristina Videira Lopes, Sushil Krishna Bajracharya |
Assessing Aspect Modularizations Using Design Structure Matrix and Net Option Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
T. Aspect-Oriented Software Development ![In: Transactions on Aspect-Oriented Software Development I, pp. 1-35, 2006, Springer, 3-540-32972-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Aspect-oriented programming and design, design space matrix, net option value, modularity |
20 | Jamal Siadat, Robert J. Walker, Cameron Kiddle |
Optimization aspects in network simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 5th International Conference on Aspect-Oriented Software Development, AOSD 2006, Bonn, Germany, March 20-24, 2006, pp. 122-133, 2006, ACM, 1-59593-300-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
IP-TN, fine-grained join points, optimization, performance, evaluation, modularity, network simulation, AspectC++ |
20 | Sock H. Chung, Terry Anthony Byrd, Bruce R. Lewis, F. Nelson Ford |
An empirical study of the relationships between IT infrastructure flexibility, mass customization, and business performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Base ![In: Data Base 36(3), pp. 26-44, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
IT compatibility, IT connectivity, IT infrastructure flexibility, IT modularity, IT personnel skills, mass customization, business performance |
20 | Matthew J. Parkinson, Gavin M. Bierman |
Separation logic and abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005, pp. 247-258, 2005, ACM, 1-58113-830-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
modularity, abstract data types, classes, resources, separation logic |
20 | Yayun Wan, Jaijeet S. Roychowdhury |
Operator-based model-order reduction of linear periodically time-varying systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005, pp. 391-396, 2005, ACM, 1-59593-058-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
LPTV systems, modularity, operator, model-order reduction |
20 | Martin Fowler |
Module Assembly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 21(2), pp. 65-67, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
hiding, modularity, implementation, linkage |
20 | Shuly Wintner |
On the Semantics of Unification Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Grammars ![In: Grammars 6(2), pp. 145-153, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
unification grammars, modularity, semantics of programming languages |
20 | Peter R. King, Jocelyne Nanard, Marc Nanard |
Multimedia document engineering in MCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2002 ACM Symposium on Document Engineering, McLean, Virginia, USA, November 8-9, 2002, pp. 18-25, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
modularity encapsulation, design, multimedia, reuse, abstraction, scenario, role, engineering |
20 | Simona Bernardi 0001, Susanna Donatelli, András Horváth |
Implementing compositionality for stochastic Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 3(4), pp. 417-430, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Stochastic well-formed nets, Fault tolerance, Performance analysis, Modularity, Compositionality |
20 | Rachid Guerraoui, André Schiper |
The Generic Consensus Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 27(1), pp. 29-41, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
fault-tolerant agreement protocols, view synchrony, total order multicast, modularity, consensus, failure detectors, Asynchronous distributed systems, group membership, atomic commitment |
20 | Libero Nigro, Francesco Pupo |
Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrent Object-Oriented Programming and Petri Nets ![In: Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets., pp. 493-513, 2001, Springer, 3-540-41942-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Design/CPN, Real Time, Modularity, Actors, Temporal Analysis, Occurrence Graphs |
20 | Alessandra Raffaetà, Chiara Renso |
Temporal Reasoning in Geographical Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 6-8 September 2000, Greenwich, London, UK, pp. 899-905, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
declarative approach, spatio-temporal data analysis, MuTACLP+, temporal primitive operators, modularity features, event planning, geographical information systems, GIS, temporal reasoning, temporal reasoning, spatial data, environmental monitoring, logic programming language |
20 | Kay Palkhivala, Cynthia Bowllan, Thomas Barnwell |
CBT on the fast track. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 17th annual international conference on Documentation, SIGDOC 1999, New Orleans, Louisiana, USA, September 12-14, 1999, pp. 169-175, 1999, ACM, 1-58113-072-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
rapid updates, repurposing information, interactivity, modularity, reusability, demonstrations, computer-based training |
20 | Sophie Coudert, Gilles Bernot, Pascale Le Gall |
Hierarchical Heterogeneous Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers, pp. 107-121, 1998, Springer, 3-540-66246-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
structured specification, heterogeneous proof, formal specification, modularity, algebraic specification, proof theory, logical framework, inference system, heterogeneous specification |
20 | Shaun W. Ryan, Arvind K. Bansal |
A Scalable Distributed Heterogeneous Associative Logic Programming System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 9th International Conference on Tools with Artificial Intelligence, ICTAI '97, Newport Beach, CA, USA, November 3-8, 1997, pp. 37-44, 1997, IEEE Computer Society, 0-8186-8203-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
scalable distributed heterogeneous system, associative logic programming system, abstract instruction set, associative computation, architecture independence, IBM RS 6000, performance, object oriented programming, distributed processing, knowledge based systems, modularity, portability, PVM, Parallel Virtual Machine, data parallel computation |
20 | Theodosis Dimitrakos, T. S. E. Maibaum |
Notes on Refinement, Interpolation and Uniformity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 108-116, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
step-wise refinement, modularity properties, logic-independent framework, uniform interpolants, specification formalism orthogonal expansion, software maintenance, interpolation, uniformity, program development, proof obligations |
20 | Houari A. Sahraoui, Walcélio L. Melo, Hakim Lounis, F. Dumont |
Applying Concept Formation Methods to Object Identification in Procedural Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 210-218, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
concept formation methods, procedural code, legacy software systems, computer-supported approach, procedural software systems, modularity, flexibility, information hiding, reusability, maintainability, encapsulation, expandability, object-oriented technology, object identification, data encapsulation |
20 | Alena Griffiths |
An Extended Semantic Foundation For Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 3rd Asia-Pacific Software Engineering Conference (APSEC '96), December 4-7, 1996, Seoul, South Korea, pp. 194-, 1996, IEEE Computer Society, 0-8186-7638-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
formal specification, object orientation, reuse, modularity, Object-Z |
20 | Basim M. Kadhim, William M. Waite |
Maptool - Supporting Modular Syntax Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 6th International Conference, CC'96, Linköping, Sweden, April 24-26, 1996, Proceedings, pp. 268-280, 1996, Springer, 3-540-61053-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
parsing grammar, syntax development, syntax mapping, modularity, Abstract syntax, concrete syntax, tree construction |
20 | Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun |
Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, Proceedings., pp. 155-164, 1996, IEEE Computer Society, 0-8186-7246-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
UNITY proof logic, action synchronization, continuous position changes, decoupled computing style, independent computing units, location-dependent behavior, location-dependent communication patterns, pairwise transient interactions, transient program interactions, variable sharing, mobile computing, distributed computing, distributed processing, dependability, modularity, computer networks, synchronisation, network operating systems, disconnections, mobile radio, assertional reasoning |
Displaying result #201 - #300 of 3150 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|