Search results for "Modularity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Robert W. Schwanke	An Intelligent Tool for Re-Engineering Software Modularity.	ICSE	1991	DBLP BibTeX RDF
13	Lambert E. Wixson	Scaling Reinforcement Learning Techniques via Modularity.	ML	1991	DBLP DOI BibTeX RDF
13	Dieter Gantenbein	Interfaces, modularity and path lengths: the costs of implementing OSI transport.	LCN	1991	DBLP DOI BibTeX RDF
13	Phillip M. Yelland	Models of modularity : a study of object-oriented programming.		1991	RDF
13	Reino Kurki-Suonio	Towards languages that support program derivation, or control modularity considered harmful.	Acta Cybern.	1990	DBLP BibTeX RDF
13	Alex Chernjavsky, John Moody	Spontaneous Development of Modularity in Simple Cortical Models.	Neural Comput.	1990	DBLP DOI BibTeX RDF
13	J. Steve Davis	Effect of Modularity on Maintainability of Rule-Based Systems.	Int. J. Man Mach. Stud.	1990	DBLP DOI BibTeX RDF
13	James W. Garson	Modularity and Relevant Logic.	Notre Dame J. Formal Log.	1989	DBLP DOI BibTeX RDF
13	Alex Waibel, Hidefumi Sawai, Kiyohiro Shikano	Modularity and scaling in large phonemic neural networks.	IEEE Trans. Acoust. Speech Signal Process.	1989	DBLP DOI BibTeX RDF
13	L. G. Lisle	A new process controller: a study in modularity.	FORTH	1989	DBLP DOI BibTeX RDF
13	Antoni W. Mazurkiewicz	Concurrency, Modularity, and Synchronization.	MFCS	1989	DBLP DOI BibTeX RDF
13	Alex Chernajvsky, John E. Moody	Note on Development of Modularity in Simple Cortical Models.	NIPS	1989	DBLP BibTeX RDF
13	Ataru T. Nakagawa, Kokichi Futatsugi	Stepwise Refinement Process with Modularity: An Algebraic Approach.	ICSE	1989	DBLP DOI BibTeX RDF
13	Bruce D'Ambrosio	Process, structure and modularity in reasoning with uncertainty.	UAI	1988	DBLP BibTeX RDF
13	Jocelyn S. Liu	Modularity in the METAL system.	COMPSAC	1988	DBLP DOI BibTeX RDF
13	Janet H. Walker	The role of modularity in document authoring systems.	DOCPROCS	1988	DBLP DOI BibTeX RDF
13	David S. Moffat	Persistance and modularity in PROLOG.		1988	RDF
13	J. A. S. Rowlands	Modularity and code generation in an extended programming language.		1988	RDF
13	Ragui Kamel	Effect of Modularity on System Evolution.	IEEE Softw.	1987	DBLP DOI BibTeX RDF
13	Geoff Whittle	Modularity of tangential k-blocks.	J. Comb. Theory, Ser. B	1987	DBLP DOI BibTeX RDF
13	Elizabeth E. Katz, Victor R. Basili	Examining the modularity of Ada programs.	WADAS	1987	DBLP BibTeX RDF
13	Job Zwiers, Willem P. de Roever	Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach.	Temporal Logic in Specification	1987	DBLP DOI BibTeX RDF
13	Luc Bougé	Modularité et symétrie pour les systèmes répartis; application au langage CSP. (Modularity and Symmetry for Distributed System; Application to the CSP Language).		1987	RDF
13	David Heckerman, Eric Horvitz	The myth of modularity in rule-based systems for reasoning with uncertainty.	UAI	1986	DBLP BibTeX RDF
13	Pierre Isabelle, Elliott Macklovitch	Transfer and MT Modularity.	COLING	1986	DBLP BibTeX RDF
13	Michael A. Caplinger	Structured Editor Support for Modularity and Data Abstraction.	SLIPE	1985	DBLP DOI BibTeX RDF
13	Allan L. Fisher	Memory and Modularity in Systolic Array Implementations.	ICPP	1985	DBLP BibTeX RDF
13	David Beech	Modularity in the Design and Standardisation of Open Systems.	Comput. Networks	1984	DBLP DOI BibTeX RDF
13	Ralph-Johan Back, Heikki Mannila	A Semantic Approach to Program Modularity	Inf. Control.	1984	DBLP DOI BibTeX RDF
13	Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang, Bertrand Melese	Documents Structure and Modularity in Mentor.	Software Development Environments (SDE)	1984	DBLP DOI BibTeX RDF
13	Harald Ganzinger	Increasing Modularity and Language-Independency in Automatically Generated Compilers.	Sci. Comput. Program.	1983	DBLP DOI BibTeX RDF
13	Michael R. Levy	Modularity and the Sequential File Update Problem.	Commun. ACM	1982	DBLP DOI BibTeX RDF
13	David D. Clark	Modularity and efficiency in protocol implementation.	RFC	1982	DBLP DOI BibTeX RDF
13	David Beech	Modularity of Computer Languages.	Softw. Pract. Exp.	1982	DBLP DOI BibTeX RDF
13	Ralph Grishman	Conjunctions And Modularity In Language Analysis Procedures.	COLING	1980	DBLP BibTeX RDF
13	Albert L. Baker, Stuart H. Zweben	The Use of Software Science in Evaluating Modularity Concepts.	IEEE Trans. Software Eng.	1979	DBLP DOI BibTeX RDF
13	Joseph F. Gloudeman	The modularity of MSC/NASTRAN.	COMPSAC	1978	DBLP DOI BibTeX RDF
13	Herbert Weber	Modularity in Data Base System Design: A Software Engineering View of Data Base Systems.	VLDB Surveys	1978	DBLP BibTeX RDF
13	Christopher Earnest	Database Modularity.	VLDB Surveys	1978	DBLP BibTeX RDF
13	Marco Bellia, Giorgio Levi	Distributed Control, Modularity and Data Types in a Simple Parallel Language.	International Computing Symposium	1977	DBLP BibTeX RDF
13	Michael J. Spier	A pragmatic proposal for the improvement of program modularity and reliability.	Int. J. Parallel Program.	1975	DBLP DOI BibTeX RDF
13	Daniel P. Siewiorek	Modularity and multi-microprocessor structures.	MICRO	1974	DBLP DOI BibTeX RDF
13	Kenneth H. O'Keefe	Modularity in Design: Skit Registers and Counters Used as System Building Blocks.	IEEE Trans. Computers	1973	DBLP DOI BibTeX RDF
13	T. W. Mosedale	PENDANT-A Computerized Support to Program Modularity under Limited Memory Conditions.	Softw. Pract. Exp.	1973	DBLP DOI BibTeX RDF
13	Jack B. Dennis	Modularity.	Advanced Course: Software Engineering	1972	DBLP DOI BibTeX RDF
13	Klaus-Peter Löhr	Modularity of Non-Sequential Programs.	GI Jahrestagung	1972	DBLP DOI BibTeX RDF
13	W. M. Taliaferro	Modularity. The Key to System Growth Potential.	Softw. Pract. Exp.	1971	DBLP DOI BibTeX RDF
7	Noémie Esnault, Jérôme Royan, Rémi Cozot, Christian Bouville	A flexible framework to personalize 3D web users experience.	Web3D	2010	DBLP DOI BibTeX RDF	languages and structures, virtual reality, graphical user interfaces, interfaces, multimedia databases, web-based interactions
7	Ehry MacRostie, Rohit Prasad, Stephen Rawls, Matin Kamali, Huaigu Cao, Krishna Subramanian 0001, Premkumar Natarajan	The BBN document analysis service: a platform for multilingual document translation.	Document Analysis Systems	2010	DBLP DOI BibTeX RDF	OCR, machine translation, system, Arabic, layout analysis
7	José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh	Optimizing generics is easy!	PEPM	2010	DBLP DOI BibTeX RDF	optimization, benchmark, functional programming, haskell, generic programming
7	Rut Jesus	What cognition does for Wikis.	Int. Sym. Wikis	2010	DBLP DOI BibTeX RDF	cognition for improvising, cognition for planning, cognitive surplus, theoretical development, collaboration, Wikis, Wikipedia
7	Tianyu Cao 0001, Xindong Wu 0001, Song Wang, Xiaohua Hu 0001	OASNET: an optimal allocation approach to influence maximization in modular social networks.	SAC	2010	DBLP DOI BibTeX RDF	modular social network, optimal allocation, influence maximization
7	Shafagh Alikhani, Thomas Kunz, Marc St-Hilaire, Fei Richard Yu	A central-networked cross-layer design framework for wireless sensor networks.	IWCMC	2010	DBLP DOI BibTeX RDF	cross-layer design and optimization, wireless sensor networks, architectures, protocols, wireless channel
7	Trevor Jim, Yitzhak Mandelbaum, David Walker 0001	Semantics and algorithms for data-dependent grammars.	POPL	2010	DBLP DOI BibTeX RDF	ambiguous grammars, context-sensitive grammars, data-dependent grammars, earley parsing, l-attributed grammars, regular right-sides, scannerless parsing, semantic predicates, automata, regular expressions, transducers, ebnf
7	Stephanie Balzer, Thomas R. Gross	Modular reasoning about invariants over shared state with interposed data members.	PLPV	2010	DBLP DOI BibTeX RDF	ownership type systems, invariants
7	Virgil D. Gligor	Architectures for practical security.	SACMAT	2010	DBLP DOI BibTeX RDF	architectures
7	Heiko Paulheim, Atila Erdogan	Seamless integration of heterogeneous UI components.	EICS	2010	DBLP DOI BibTeX RDF	ontologies, user interfaces, integration, component-based software
7	Michal Ficek, Tomás Pop, Petr Vlácil, Katerina Dufková, Lukas Kencl, Martin Tomek	Performance study of active tracking in a cellular network using a modular signaling platform.	MobiSys	2010	DBLP DOI BibTeX RDF	mobility, cellular network, GSM, SS7, active tracking
7	Keith R. Bisset, Jiangzhuo Chen, Xizhou Feng, Yifei Ma, Madhav V. Marathe	Indemics: an interactive data intensive framework for high performance epidemic simulation.	ICS	2010	DBLP DOI BibTeX RDF	parallel computation, modeling and simulation, infectious disease, interactive computation, network dynamics
7	Oliver Flasch, Olaf Mersmann, Thomas Bartz-Beielstein	RGP: an open source genetic programming system for the R environment.	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	genetic programming, software, symbolic regression, late breaking abstract
7	Simon L. Jones, Eamonn O'Neill	Feasibility of structural network clustering for group-based privacy control in social networks.	SOUPS	2010	DBLP DOI BibTeX RDF	group-based access control, privacy, social networks, automation, social media, network structure, content sharing, tie strength
7	Taeho Kwon, Zhendong Su 0001	Automatic detection of unsafe component loadings.	ISSTA	2010	DBLP DOI BibTeX RDF	unsafe component loading, dynamic analysis
7	Ron Weiss	Synthetic biology: from modules to systems.	ACM Great Lakes Symposium on VLSI	2010	DBLP DOI BibTeX RDF	genetic circuits, synthetic biology
7	Apurva Mohan, Douglas M. Blough	An attribute-based authorization policy framework with dynamic conflict resolution.	IDtrust	2010	DBLP DOI BibTeX RDF	attribute-based authorization, conflict resolution, authorization policy
7	Jer-Min Jou, Sih-Sian Wu, Yun-Lung Lee, Cheng Chou, Yuan-Long Jeang	New model-driven design and generation of multi-facet arbiters part I: from the design model to the architecture model.	DAC	2010	DBLP DOI BibTeX RDF	architecture model/template, model-driven design flow, multi-facet arbiter, granularity, design space, design model
7	Ben L. Titzer, Thomas Würthinger, Doug Simon, Marcelo Cintra	Improving compiler-runtime separation with XIR.	VEE	2010	DBLP DOI BibTeX RDF	lowering, runtime interface, java, software architecture, compilers, virtual machines, register allocation, object model, intermediate representations, JIT
7	Winslow Burleson, Camilla Nørgaard Jensen	Slow computing gifts (abstract only).	TEI	2010	DBLP DOI BibTeX RDF
7	Birgit Vogel-Heuser	Automation in the Wood and Paper Industry.	Handbook of Automation	2009	DBLP DOI BibTeX RDF
7	Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz 0001	New results on rewrite-based satisfiability procedures.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	combination of theories, satisfiability modulo a theory, scalability, inference, termination, Automated reasoning, decision procedures, rewriting, superposition
7	Xiaoming Fu 0001, Henning Schulzrinne, Hannes Tschofenig, Christian Dickmann, Dieter Hogrefe	Overhead and performance study of the general internet signaling transport (GIST) protocol.	IEEE/ACM Trans. Netw.	2009	DBLP DOI BibTeX RDF
7	Chitra Babu, Harshini Ramnath Krishnan	Fault model and test-case generation for the composition of aspects.	ACM SIGSOFT Softw. Eng. Notes	2009	DBLP DOI BibTeX RDF	aspect oriented programming, fault model, aspect composition, join point
7	Weidong Chen 0009, Wenjun Xiao, Behrooz Parhami	Swapped (OTIS) Networks Built of Connected Basis Networks Are Maximally Fault Tolerant.	IEEE Trans. Parallel Distributed Syst.	2009	DBLP DOI BibTeX RDF
7	Edward A. Lee, Xiaojun Liu 0001, Stephen Neuendorffer	Classes and inheritance in actor-oriented design.	ACM Trans. Embed. Comput. Syst.	2009	DBLP DOI BibTeX RDF	generalized ultrametric, overriding, components, interfaces, type systems, inheritance, Actors
7	Khaled M. Hammouda, Mohamed S. Kamel	Hierarchically Distributed Peer-to-Peer Document Clustering and Cluster Summarization.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
7	Rafal Dlugosz, Krzysztof Iniewski	Programmable Switched Capacitor Finite Impulse Response Filter with Circular Memory Implemented in CMOS 0.18 µm Technology.	J. Signal Process. Syst.	2009	DBLP DOI BibTeX RDF	Baseband filtering, Switched capacitor technique (SC), Finite impulse response (FIR) filter, Programmable filter, GSM, WCDMA
7	Carl Eastlund, Matthias Felleisen	Toward a Practical Module System for ACL2.	PADL	2009	DBLP DOI BibTeX RDF
7	Peter Fritzson, Adrian Pop, David Broman, Peter Aronsson	Formal Semantics Based Translator Generation and Tool Development in Practice.	Australian Software Engineering Conference	2009	DBLP DOI BibTeX RDF
7	Fabrício de Alexandria Fernandes, Robin Passama, Jean-Claude Royer	Event strictness for components with complex bindings.	ISEC	2009	DBLP DOI BibTeX RDF	behavioural compatibility, event strictness, structured product, communication, protocol, component, binding
7	Antti Tikanmäki, Juha Röning	Development of Mörri, a high performance and modular outdoor robot.	ICRA	2009	DBLP DOI BibTeX RDF
7	Patrick Girard 0004, Jeremy Seligman	An Analytic Logic of Aggregation.	ICLA	2009	DBLP DOI BibTeX RDF	preference logic, lexicographic aggregation, hybrid modal logic, analytic proof theory, sequent calculus
7	Merja Karjalainen, Graham J. L. Kemp	Uniform query processing in a federation of RDFS and relational resources.	IDEAS	2009	DBLP DOI BibTeX RDF
7	Javier Blesa, Pedro Malagón, Álvaro Araujo, José Manuel Moya, Juan Carlos Vallejo, Juan-Mariano de Goyeneche, Elena Romero, Daniel Villanueva, Octavio Nieto-Taladriz	Modular Framework for Smart Home Applications.	IWANN (2)	2009	DBLP DOI BibTeX RDF	low consumption, ZigBeeTM, air conditioning, ambient intelligence, Wireless personal area network, domotic
7	Alessandro Marcengo, Elena Guercio, Amon Rapp	Personas Layering: A Cost Effective Model for Service Design in Medium-Long Term Telco Research Projects.	HCI (10)	2009	DBLP DOI BibTeX RDF	Ethnography, User Centred Design, Personas, Focus Groups
7	Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer 0001	VMIL: workshop on virtual machines and intermediate languages.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	optimization, compilation, virtual machine, interpretation, dynamic dispatch, intermediate language
7	Roland Ducournau, Floréal Morandat, Jean Privat	Empirical assessment of object-oriented implementations with multiple inheritance and static typing.	OOPSLA	2009	DBLP DOI BibTeX RDF	binary tree dispatch, downcast, method tables, multiple subtyping, open-world assumption, single inheritance, subtype test, virtual function table, interfaces, coloring, multiple inheritance, perfect hashing, closed-world assumption, type analysis, late binding, dynamic loading
7	Jian Yu, Quan Z. Sheng, Paolo Falcarin, Maurizio Morisio	Weaving Business Processes and Rules: A Petri Net Approach.	UNISCON	2009	DBLP DOI BibTeX RDF	Petri nets, Business process modelling, business rules, aspect-orientation
7	Claudia Raibulet, Luigi Ubezio, William Gobbo	Achieving Adaptivity Through Strategies in a Distributed Software Architecture.	UNISCON	2009	DBLP DOI BibTeX RDF
7	Zongwu Xie, Jingdong Zhao, Jianbin Huang, Kui Sun, Genliang Xiong, Hong Liu 0002	DSP/FPGA-based highly integrated flexible joint robot.	IROS	2009	DBLP DOI BibTeX RDF
7	Nikolaos G. Tsagarakis, Bram Vanderborght, Matteo Laffranchi, Darwin G. Caldwell	The mechanical design of the new lower body for the child humanoid robot 'iCub'.	IROS	2009	DBLP DOI BibTeX RDF
7	Chongwei Du, Xiong Wang, Liyin Qiu	Block & Comovement Effect of Stock Market in Financial Complex Network.	Complex (2)	2009	DBLP DOI BibTeX RDF	block & comovement effect, Girvan-Newman algorithm, faction, delay-correlation, prediction, complex network, correlative coefficient, community structure
7	Youngdo Kim, Seung-Woo Son 0003, Hawoong Jeong	Community Identification in Directed Networks.	Complex (2)	2009	DBLP DOI BibTeX RDF	community identification method, directional information, directed networks
7	Taehoon Kim, Sungwoo Tak	A real-time hardware-software codesign technique of network protocols to provide QoS.	ICHIT	2009	DBLP DOI BibTeX RDF	QoS communications architecture, real-time scheduling, network protocols, hardware-software codesign
7	Frank Pfenning, Robert J. Simmons	Substructural Operational Semantics as Ordered Logic Programming.	LICS	2009	DBLP DOI BibTeX RDF
7	Angelo Paolo Castellani, Paolo Casari, Michele Zorzi	TinyNET: a tiny network framework for TinyOS.	IWCMC	2009	DBLP DOI BibTeX RDF	modular networking framework, TinyOS, 6LowPAN
7	Xinyu Feng 0001	Local rely-guarantee reasoning.	POPL	2009	DBLP DOI BibTeX RDF	rely-guarantee reasoning, concurrency, information hiding, separation logic, local reasoning
7	Gudny Ragna Jonsdottir, Kristinn R. Thórisson	Teaching Computers to Conduct Spoken Interviews: Breaking the Realtime Barrier with Learning.	IVA	2009	DBLP DOI BibTeX RDF	Turntaking, Natural Communication, Machine Learning, Human-Computer Interaction, Dialogue, Prosody, Realtime
7	Alberto Ochoa 0003, María Beatríz Bernábe Loranca, Omar Ochoa	A Complex Networks Approach to Demographic Zonification.	MICAI	2009	DBLP DOI BibTeX RDF
7	Hridesh Rajan, Jia Tao 0001, Steve M. Shaner, Gary T. Leavens	Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services.	ESOP	2009	DBLP DOI BibTeX RDF
7	Mauro Jaskelioff	Modular Monad Transformers.	ESOP	2009	DBLP DOI BibTeX RDF
7	Antoine Zimmermann, Ratnesh Sahay, Ronan Fox, Axel Polleres	Heterogeneity and Context in Semantic-Web-Enabled HCLS Systems.	OTM Conferences (2)	2009	DBLP DOI BibTeX RDF