Search results for "Modularity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Roberto Lublinerman, Stavros Tripakis	Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams.	DATE	2008	DBLP DOI BibTeX RDF
27	Vineet R. Khare, Bernhard Sendhoff, Xin Yao 0001	Environments Conducive to Evolution of Modularity.	PPSN	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.	OOPSLA Companion	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.	SAC	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.	CDVE	2005	DBLP DOI BibTeX RDF
27	Marc Denecker, Eugenia Ternovska	A Logic of Non-monotone Inductive Definitions and Its Modularity Properties.	LPNMR	2004	DBLP DOI BibTeX RDF
27	Edith Hemaspaandra, Holger Spakowski, Mayur Thakur	Complexity of Cycle Length Modularity Problems in Graphs.	LATIN	2004	DBLP DOI BibTeX RDF
27	Jennifer Hallinan	Self-Organization Leads to Hierarchical Modularity in an Internet Community.	KES	2003	DBLP DOI BibTeX RDF
27	Irène Durand, Aart Middeldorp	On the Modularity of Deciding Call-by-Need.	FoSSaCS	2001	DBLP DOI BibTeX RDF
27	Jozef Kelemen	From Statistics to Emergence: Exercises in Systems Modularity.	EASSS	2001	DBLP DOI BibTeX RDF
27	Il-Seok Oh, Jin-Seon Lee, Ching Y. Suen	A Class-Modularity for Character Recognition.	ICDAR	2001	DBLP DOI BibTeX RDF
27	Cristina Videira Lopes, Gregor Kiczales	Improving design and source code modularity using AspectJ (tutorial session).	ICSE	2000	DBLP DOI BibTeX RDF	Java
27	Geert Poels	Evaluating the Modularity of Model-Driven Object-Oriented Software Architectures (Extended Abstract).	ECOOP Workshops	1998	DBLP DOI BibTeX RDF
27	Bernhard Gramlich	On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems.	ALP	1994	DBLP DOI BibTeX RDF
27	Enno Ohlebusch	On the Modularity of Confluence of Constructor-Sharing Term Rewriting Systems.	CAAP	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.	POPL	1992	DBLP DOI BibTeX RDF
27	Zahra Masdarolomoor, Sadegh Aliakbary, Reza Azmi, Noushin Riahi	Distributed Community Detection in Complex Networks.	CICSyN	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.	TASE	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.	ICSE (2)	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.	SSIRI	2009	DBLP DOI BibTeX RDF	Modularity, Complex Network, Information Entropy, Community Structure
26	René Doursat	Facilitating evolutionary innovation by developmental modularity and variability.	GECCO	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.	AOSD	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.	ACM Trans. Comput. Log.	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.	ESEC / SIGSOFT FSE	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.	IEEE Trans. Parallel Distributed Syst.	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.	SIGSOFT FSE	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.	J. ACM	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.	Robotics Auton. Syst.	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.	IEEE Trans. Knowl. Data Eng.	2021	DBLP DOI BibTeX RDF
26	Rafael de Santiago, Luís C. Lamb	A ground truth contest between modularity maximization and modularity density maximization.	Artif. Intell. Rev.	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.	ISoLA (1)	2020	DBLP DOI BibTeX RDF
26	Jens Poeppelbuss, Alexander Lubarski	Modularity Canvas - A Framework for Visualizing Potentials of Service Modularity.	Wirtschaftsinformatik	2019	DBLP BibTeX RDF
26	Toni Mattis, Robert Hirschfeld	Activity Contexts: Improving Modularity in Blockchain-based Smart Contracts using Context-oriented Programming.	COP@ECOOP	2018	DBLP DOI BibTeX RDF
26	Dario Fasino, Francesco Tudisco	Modularity bounds for clusters located by leading eigenvectors of the normalized modularity matrix.	CoRR	2016	DBLP BibTeX RDF
26	Iaakov Exman, Daniel Speicher	Linear Software Models: Equivalence of Modularity Matrix to Its Modularity Lattice.	ICSOFT-PT	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.	HICSS	2015	DBLP DOI BibTeX RDF
26	Iaakov Exman	Software Design with the Modularity Matrix and the Modularity Conceptual Lattice.	SKY	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.	CIBCB	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.	CoRR	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.	MISS@AOSD	2012	DBLP DOI BibTeX RDF
26	Dimitri Van Landuyt, Eddy Truyen, Wouter Joosen	On the modularity impact of architectural assumptions.	NEMARA@AOSD	2012	DBLP DOI BibTeX RDF
26	Jochen Streicher, Christoph Borchert, Olaf Spinczyk	Upcall dispatcher aspects: combining modularity with efficiency in the CiAO IP stack.	MISS@AOSD	2011	DBLP DOI BibTeX RDF
21	Tsuyoshi Murata	Detecting Communities from Bipartite Networks Based on Bipartite Modularities.	CSE (4)	2009	DBLP DOI BibTeX RDF
21	Christoph Lange 0002, Michael Kohlhase	A Mathematical Approach to Ontology Authoring and Documentation.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
21	Yutaka I. Leon-Suematsu, Kikuo Yuta	A framework for fast community extraction of large-scale networks.	WWW	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.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
21	Zhemin Zhu, Chen Wang 0020, Li Ma 0002, Yue Pan, Zhiming Ding	Scalable Community Discovery of Large Networks.	WAIM	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.	ICSE	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.	FBIT	2007	DBLP DOI BibTeX RDF
21	Michael English, Jim Buckley, Tony Cahill	Fine-Grained Software Metrics in Practice.	ESEM	2007	DBLP DOI BibTeX RDF
21	Marco Gaertler, Robert Görke, Dorothea Wagner	Significance-Driven Graph Clustering.	AAIM	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.	VDMB	2006	DBLP DOI BibTeX RDF	Markov clustering (MCL), network, simulated annealing (SA), module
21	Jean-Pierre Jouannaud	Modular Church-Rosser Modulo.	RTA	2006	DBLP DOI BibTeX RDF
21	Peter Fine, Ezequiel A. Di Paolo, Andrew Philippides	Spatially Constrained Networks and the Evolution of Modular Control Systems.	SAB	2006	DBLP DOI BibTeX RDF
21	Stefan Kramer 0001, Hermann Kaindl	Coupling and cohesion metrics for knowledge-based systems using frames and rules.	ACM Trans. Softw. Eng. Methodol.	2004	DBLP DOI BibTeX RDF	knowledge-based systems, Coupling, cohesion
21	Simona Bernardi 0001, Susanna Donatelli	Stochastic Petri Nets and Inheritance for Dependability Modelling.	PRDC	2004	DBLP DOI BibTeX RDF
21	Ramnivas Laddad, Roger T. Alexander	Aspect-Oriented Programming Will Improve Quality / Aspect-Oriented Programming: the Real Costs?	IEEE Softw.	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.	ISCIS	2003	DBLP DOI BibTeX RDF
21	Pedro Resende	Modular Specification of Concurrent Systems with Observational Logic.	WADT	1998	DBLP DOI BibTeX RDF
21	David D. Yao	S-modular games, with queueing applications.	Queueing Syst. Theory Appl.	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.	SAC	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.	ECSA Companion Volume	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.	Softw. Syst. Model.	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.	World Wide Web	2009	DBLP DOI BibTeX RDF	overlapping community structure, seed expansion, modularity function, random walks
20	Arnon Avron	Multi-valued Semantics: Why and How.	Stud Logica	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.	CIKM-CNIKM	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.	CIKM-CNIKM	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).	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	metrics, modularity, assessment, adoption
20	Donna Malayeri, Jonathan Aldrich	CZ: multiple inheritance without diamonds.	OOPSLA	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.	Complex (2)	2009	DBLP DOI BibTeX RDF	genetic algorithm, modularity, complex network, community detection
20	Tsuyoshi Murata	Modularities for bipartite networks.	Hypertext	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.	IEEE ACM Trans. Comput. Biol. Bioinform.	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.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	Modularity, Code generation, Block diagrams
20	Michael Pedersen	Compositional Definitions of Minimal Flows in Petri Nets.	CMSB	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.	DSV-IS	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.	ICSE Companion	2008	DBLP DOI BibTeX RDF	modularity, domain specific languages, extensibility
20	Hans Weber 0002	On Lattices of Uniformities.	Order	2007	DBLP DOI BibTeX RDF	Lattice uniformities, Distributivity, Modularity, Lattices, Uniformities, Complements
20	YingZhou Zhang	A novel formal approach to program slicing.	Sci. China Ser. F Inf. Sci.	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.	PPDP	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.	ACM SIGSOFT Softw. Eng. Notes	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.	T. Aspect-Oriented Software Development	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.	AOSD	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.	Data Base	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.	POPL	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.	DAC	2005	DBLP DOI BibTeX RDF	LPTV systems, modularity, operator, model-order reduction
20	Martin Fowler	Module Assembly.	IEEE Softw.	2004	DBLP DOI BibTeX RDF	hiding, modularity, implementation, linkage
20	Shuly Wintner	On the Semantics of Unification Grammars.	Grammars	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.	ACM Symposium on Document Engineering	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.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Stochastic well-formed nets, Fault tolerance, Performance analysis, Modularity, Compositionality
20	Rachid Guerraoui, André Schiper	The Generic Consensus Service.	IEEE Trans. Software Eng.	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.	Concurrent Object-Oriented Programming and Petri Nets	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.	DEXA Workshops	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.	SIGDOC	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.	WADT	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.	ICTAI	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.	ASE	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.	ASE	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.	APSEC	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.	CC	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.	ICSE	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