Search results for "modular"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Pen-Yuang Chang, Jong-Chuang Tsay	An Approach to Designing Modular Extensible Linear Arrays for Regular Algorithms.	IEEE Trans. Computers	1998	DBLP DOI BibTeX RDF	conflict-free mapping, modular extensible, optimal spacetime mapping, regular algorithm, unimodular matrix, VLSI, systolic array, data dependency, linear array, Algorithm transformation
18	Mildred E. McGuire, Lee Anne Center, Gregory D. Henderson, Lori Ely, James M. Moran	Combining Training and Customer Documentation into Modular, Reusable Information.	SIGDOC	1998	DBLP DOI BibTeX RDF	infoware, components, training, modular, reusable, single-source
18	M. G. Parker, Mohammed Benaissa	Modular Arithmetic Using Low Order Redundant Bases.	IEEE Trans. Computers	1997	DBLP DOI BibTeX RDF	residue and polynomial number systems, Modular arithmetic, redundant number systems, number theoretic transforms
18	Colin D. Walter	Space/Time Trade-Offs for Higher Radix Modular Multiplication Using Repeated Addition.	IEEE Trans. Computers	1997	DBLP DOI BibTeX RDF	higher radix, optimal speed, cryptography, RSA, Computer arithmetic, modular multiplication, redundant number systems
18	Thomas H. Einstein	Mercury Computer Systems' modular heterogeneous RACE(R) multicomputer.	Heterogeneous Computing Workshop	1997	DBLP DOI BibTeX RDF	Mercury Computer Systems, modular heterogeneous RACE multicomputer, heterogeneous multicomputer, Analog Devices, SHARC 21060, Apple PowerPC 603p, optimal processor, physical processing density, heterogeneity, distributed memory systems, programmability, IBM, hardware cost, Motorola
18	Hervé Brönnimann, Ioannis Z. Emiris, Victor Y. Pan, Sylvain Pion	Computing Exact Geometric Predicates Using Modular Arithmetic with Single Precision.	SCG	1997	DBLP DOI BibTeX RDF	exact arithmetic, modular computations, single precision, computational geometry, robustness, residue number systems
18	Issei Fujishiro, Yuriko Takeshima, Yoshihiko Ichikawa, Kyoko Nakamura	GADGET: goal-oriented application design guidance for modular visualization environments.	IEEE Visualization	1997	DBLP DOI BibTeX RDF	Modular Visualization Environments, dataflow paradigm, taxonomy of visualization techniques, visineers' heuristics and expertise, object-oriented design, knowledge base, visualization systems
18	Martin Bichler, Stefan Nusser	Modular design of complex Web-applications with W3DT.	WETICE	1996	DBLP DOI BibTeX RDF	W3DT, complex Web applications, World Wide Web Design Technique, Web-based hypermedia applications, computer based design environment, working prototype, distributed Web sites, locally distributed systems, unified organization-wide model, single-server based Web-sites, large organization-wide systems, hypermedia, collaborative design, modeling technique, modular design, graphical notation, submodels
18	Manuel Valencia-Barrero, Manuel J. Bellido, José L. Huertas, Antonio J. Acosta 0001, Santiago Sánchez-Solano	Modular Asynchronous Arbiter Insensitive to Metastability.	IEEE Trans. Computers	1995	DBLP DOI BibTeX RDF	Q-flop resolver, Asynchronous circuits, arbitration, modular design, metastability
18	V. Visvanathan, S. Ramanathan	A modular systolic architecture for delayed least mean squares adaptive filtering.	VLSI Design	1995	DBLP DOI BibTeX RDF	modular systolic architecture, delayed least mean squares adaptive filtering, coefficient adaptation, input sampling periods, output latency, convergence behavior, systolization technique, maximum sampling rate, multiply-accumulate processor modules, systolic arrays, pipeline processing, adaptive filters, convergence of numerical methods, least mean squares methods
18	Stanislaw J. Piestrak	Design of Residue Generators and Multioperand Modular Adders Using Carry-Save Adders.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	residue generators, multioperand modular adders, arithmetic error detecting codes, binary-to-residue number system, residue generator, digital arithmetic, adders, Chinese remainder theorem, residue number system, arithmetic codes, residue arithmetic, carry-save adders
18	Jin-yi Cai, Wolfgang H. J. Fuchs, Dexter Kozen, Zicheng Liu 0001	Efficient Average-Case Algorithms for the Modular Group	FOCS	1994	DBLP DOI BibTeX RDF	finitely generated subgroups, average-case algorithms, modular group, mathematical sciences, average polynomial-time algorithms, bounded membership, unbounded membership
18	Divyakant Agrawal, Soumitra Sengupta	Modular Synchronization in Distributed, Multiversion Databases: Version Control and Concurrency Control.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	modular synchronisation, multiversion databases, multiversion protocols, proving the correctness, protocols, distributed databases, distributed databases, concurrency control, concurrency control, modularity, synchronisation, extensibility, configuration management, version control, two-phase locking, time-stamp, read-only transactions
18	M. Sultan Alam, Rami G. Melhem	An Efficient Modular Spare Allocation Scheme and Its Application to Fault Tolerant Binary Hypercubes.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	modular spare allocation scheme, fault tolerant binary hypercubes, fault tolerant basicblocks, primary nodes, spare nodes, hardware switches, fault tolerant computing, multiprocessing systems, hypercube networks
18	Marco A. Casanova, António L. Furtado 0001, Luiz Tucherman	A Software Tool for Modular Database Design.	ACM Trans. Database Syst.	1991	DBLP DOI BibTeX RDF	consistency preservation, logical database design, module constructors, abstract data types, integrity constraints, encapsulation, modular design
18	Krzysztof Sapiecha, R. Jarocki	Modular Architecture for High Performance Implementatin of the FFT Algorithm.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	high performance implementation, FRR algorithm, VLSI-oriented architecture, single butterfly computation, VLSI, built-in self-test, computer architecture, fast Fourier transforms, processing elements, modular architecture, computerised signal processing
18	Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko	Modular Verification of Petri Nets: The Temporal Logic Approach.	REX Workshop	1989	DBLP DOI BibTeX RDF	modular system design, verification, Petri nets, specification, temporal logic, computer architecture
18	Kwang-Ya Fang, Anthony S. Wojcik	Modular Decomposition of Combinational Multiple-Valued Circuits.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	combinatorial multiple-values circuits, ternary functions, optimization, many-valued logics, multiplexers, combinatorial circuits, logic functions, modular decomposition
18	Lui Sha, John P. Lehoczky, E. Douglas Jensen	Modular Concurrency Control and Failure Recovery.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	modular concurrency control, database decomposition, transaction decomposition, generalized serialisability theory, correct execution of transactions, failure safety, fault tolerance, fault tolerant computing, distributed databases, consistency, database theory, modules, system recovery, failure recovery
18	Antonis M. Paschalis, Dimitris Nikolos, Constantine Halatsis	Efficient Modular Design of TSC Checkers for M-out-of-2M Codes.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	half-adder, VLSI MOS implementation, logic design, trees, codes, codes, adders, modular design, totally self-checking checkers, full-adder
18	A. S. Mahmudul Hassan, Vinod K. Agarwal	A Fault-Tolerant Modular Architecture for Binary Trees.	IEEE Trans. Computers	1986	DBLP DOI BibTeX RDF	HX tree, link ratio, fault tolerant, reliability, modular, reconfiguration, redundant, Binary tree
18	I. V. Ramakrishnan, Peter J. Varman	Modular Matrix Multiplication on a Linear Array.	IEEE Trans. Computers	1984	DBLP DOI BibTeX RDF	parallel processing, VLSI, modular, matrix multiplication, Array processors, linear array
18	Israel Koren, Stephen Y. H. Su	Reliability Analysis of N-Modular Redundancy Systems with Intermittent and Permanent Faults.	IEEE Trans. Computers	1979	DBLP DOI BibTeX RDF	reliability, Digital system, intermittent fault, permanent fault, modular redundancy
18	Eduard Cerny	Controllability and Fault Observability in Modular Combinational Circuits.	IEEE Trans. Computers	1978	DBLP DOI BibTeX RDF	modular circuits, fault detection, combinational networks, characteristic functions, Boolean equations
18	Richard A. Thompson, F. Gail Gray	Universal Modular Trees: A Design Procedure.	IEEE Trans. Computers	1978	DBLP DOI BibTeX RDF	universal modular array, single feedback realization, Definite, shift register
18	Carlo H. Séquin, Alvin M. Despain, David A. Patterson 0001	Communication In X-TREE, A Modular Multiprocessor System.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Message format, Modular computer, Single-chip processor, Communication, Multiprocessor, Computer network, Routing algorithm, Switching network, Message routing, Address space
18	René David	Modular Design of Asynchronous Circuits Defined by Graphs.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF	description by graphs, modular networks, synthesis from graphs, synthesis without assignment, universal cell CUSA, Asynchronous circuits
17	Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta	Security validation tool for business processes.	SACMAT	2011	DBLP DOI BibTeX RDF
17	Dakai Zhu 0001, Rami G. Melhem, Daniel Mossé	Energy efficient redundant configurations for real-time parallel reliable servers.	Real Time Syst.	2009	DBLP DOI BibTeX RDF	Parallel servers, Fault tolerance, Energy management, Transient faults
17	Chia-Long Wu	Fast Parallel Montgomery Binary Exponentiation Algorithm Using Canonical- Signed-Digit Recoding Technique.	ICA3PP	2009	DBLP DOI BibTeX RDF	Montgomery reduction algorithm, cryptography, complexity analysis, number theory, algorithm design
17	Faezeh Ensan, Weichang Du	An Interface-Based Ontology Modularization Framework for Knowledge Encapsulation.	ISWC	2008	DBLP DOI BibTeX RDF
17	Zhaozhong Ni, Dachuan Yu, Zhong Shao	Using XCAP to Certify Realistic Systems Code: Machine Context Management.	TPHOLs	2007	DBLP DOI BibTeX RDF
17	Binh-Minh Bui-Xuan, Michel Habib, Vincent Limouzy, Fabien de Montgolfier	Homogeneity vs. Adjacency: Generalising Some Graph Decomposition Algorithms.	WG	2006	DBLP DOI BibTeX RDF
17	Viraj Kumar, P. Madhusudan, Mahesh Viswanathan 0001	Minimization, Learning, and Conformance Testing of Boolean Programs.	CONCUR	2006	DBLP DOI BibTeX RDF
17	Ambrose Chu, Mihai Sima	Reconfigurable RSA Cryptography for Embedded Devices.	CCECE	2006	DBLP DOI BibTeX RDF
17	Robert I. McKay, Tuan Hao Hoang, Daryl Leslie Essam, Nguyen Xuan Hoai	Developmental Evaluation in Genetic Programming: The Preliminary Results.	EuroGP	2006	DBLP DOI BibTeX RDF
17	Joseph Reisinger, Kenneth O. Stanley, Risto Miikkulainen	Evolving Reusable Neural Modules.	GECCO (2)	2004	DBLP DOI BibTeX RDF
17	Sheng-Chai Chi, In-Jou Lin, Min-Chuan Yan	An Evolutionary Clustering Method for Part Family Formation with Multiple Process Plans.	KES	2004	DBLP DOI BibTeX RDF
17	Kyo-Min Ku, Kyeoung Ju Ha, Wi Hyun Yoo, Kee-Young Yoo	Parallel Montgomery Multiplication and Squaring over GF(2m) Based on Cellular Automata.	ICCSA (4)	2004	DBLP DOI BibTeX RDF
17	Luiza de Macedo Mourelle, Nadia Nedjah	Efficient Cryptographic Hardware Using the Co-Design Methodology.	ITCC (2)	2004	DBLP DOI BibTeX RDF
17	John Moses	A Consideration of the Impact of Interactions with Module Effects on the Direct Measurement of Subjective Software Attributes.	IEEE METRICS	2001	DBLP DOI BibTeX RDF	expert agreement, ordinal scale, 3-D multinomial models, interactions with module length, Bayesian inference, maintainability, cohesion, consistent measurement
17	John W. Lockwood, Naji Naufel, Jonathan S. Turner, David E. Taylor	Reprogrammable network packet processing on the field programmable port extender (FPX).	FPGA	2001	DBLP DOI BibTeX RDF	Internet, FPGA, routing, network, ATM, modularity, reconfiguration, processing, IP, hardware, packet
17	Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer 0001, Peter D. Mosses	Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic.	AMAST	2000	DBLP DOI BibTeX RDF
17	Shailesh Kumar, Joydeep Ghosh, Melba M. Crawford	A Hierarchical Multiclassifier System for Hyperspectral Data Analysis.	Multiple Classifier Systems	2000	DBLP DOI BibTeX RDF
17	Jan Camenisch, Markus Michels	Proving in Zero-Knowledge that a Number Is the Product of Two Safe Primes.	EUROCRYPT	1999	DBLP DOI BibTeX RDF
17	Jyh-Huei Guo, Chin-Liang Wang, Hung-Chih Hu	Design and implementation of an RSA public-key cryptosystem.	ISCAS (1)	1999	DBLP DOI BibTeX RDF
17	Jen-Shiun Chiang, Jian-Kao Chen	An efficient VLSI architecture for RSA public-key cryptosystem.	ISCAS (1)	1999	DBLP DOI BibTeX RDF
17	Thomas Eiter, Georg Gottlob, Helmut Veith	Generalized Quantifiers in Logic Programs.	ESSLLI	1997	DBLP DOI BibTeX RDF
17	David Naccache	A Montgomery-Suitable Fiat-Shamir-like Authenication Scheme.	EUROCRYPT	1992	DBLP DOI BibTeX RDF
16	Gwenaël Delaval, Hervé Marchand, Éric Rutten	Contracts for modular discrete controller synthesis.	LCTES	2010	DBLP DOI BibTeX RDF	adaptive and reconfigurable systems, discrete controller synthesis, components, modularity, contracts, reactive systems, synchronous programming
16	Oscar García Morchon, Klaus Wehrle	Modular context-aware access control for medical sensor networks.	SACMAT	2010	DBLP DOI BibTeX RDF	security, access control, medical sensor network
16	Kazuki Iida, Junki Ikeuchi, Toshiaki Uchiyama, Kenji Suzuki 0002	AirTiles: modular devices to create a flexible sensing space.	SIGGRAPH Emerging Technologies	2010	DBLP DOI BibTeX RDF
16	Fábio Protti, Maise Dantas da Silva, Jayme Luiz Szwarcfiter	Applying Modular Decomposition to Parameterized Cluster Editing Problems.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Edge modification problems, Bicluster graphs, NP-complete problems, Fixed-parameter tractability, Cluster graphs
16	Robert Fitch, Ritesh Lal	Experiments with a zigbee wireless communication system for self-reconfiguring modular robots.	ICRA	2009	DBLP DOI BibTeX RDF
16	Masahiro Shimizu, Akio Ishiguro	An amoeboid modular robot that exhibits real-time adaptive reconfiguration.	IROS	2009	DBLP DOI BibTeX RDF
16	Qiquan Quan, Shugen Ma	A modular crawler-driven robot: Mechanical design and preliminary experiments.	IROS	2009	DBLP DOI BibTeX RDF
16	Yisheng Guan, Li Jiang, Xianmin Zhang, Hong Zhang 0011, Xuefeng Zhou	Development of novel robots with modular methodology.	IROS	2009	DBLP DOI BibTeX RDF
16	Ionut Mihai Constantin Olaru, Sébastien Krut, François Pierrot	Novel mechanical design of biped robot SHERPA using 2 DOF cable differential modular joints.	IROS	2009	DBLP DOI BibTeX RDF
16	Matthew Moses, Gregory S. Chirikjian	Simple components for a reconfigurable modular robotic system.	IROS	2009	DBLP DOI BibTeX RDF
16	Chih-Han Yu, Radhika Nagpal	Engineering self-adaptive modular robotics: A bio-inspired approach.	IROS	2009	DBLP DOI BibTeX RDF
16	Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog	Modular Verification of Recursive Programs.	Languages: From Formal to Natural	2009	DBLP DOI BibTeX RDF
16	Mauro Jaskelioff	Modular Monad Transformers.	ESOP	2009	DBLP DOI BibTeX RDF
16	Bruno C. d. S. Oliveira	Modular Visitor Components.	ECOOP	2009	DBLP DOI BibTeX RDF
16	Lothar Thiele, Nikolay Stoimenov	Modular performance analysis of cyclic dataflow graphs.	EMSOFT	2009	DBLP DOI BibTeX RDF	dioid algebras, real-time systems, synchronous dataflow, marked graphs, real-time calculus
16	Carl Eastlund, Matthias Felleisen	Making induction manifest in modular ACL2.	PPDP	2009	DBLP DOI BibTeX RDF	theorem provers, acl2, module systems
16	Akshaya Kumar Mishra, Paul W. Fieguth, David A. Clausi	A Robust Modular Wavelet Network Based Symbol Classifier.	ICIAR	2009	DBLP DOI BibTeX RDF
16	Jean-Luc Beuchat, Jean-Michel Muller	Automatic Generation of Modular Multipliers for FPGA Applications.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF
16	Marcelo E. Kaihara, Naofumi Takagi	Bipartite Modular Multiplication Method.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Algorithms, Computer arithmetic
16	Saurabh Srivastava 0001, Michael Hicks 0001, Jeffrey S. Foster, Patrick Jenkins	Modular Information Hiding and Type-Safe Linking for C.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Reliability, Information hiding, Modules, packages, Code design, Coding Tools and Techniques
16	Dariusz Biernacki, Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet	Clock-directed modular code generation for synchronous data-flow languages.	LCTES	2008	DBLP DOI BibTeX RDF	real-time systems, compilation, semantics, type systems, synchronous languages
16	Himanshu Jain, Edmund M. Clarke, Orna Grumberg	Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations.	CAV	2008	DBLP DOI BibTeX RDF
16	Seung-kook Yun, Daniela Rus	Self assembly of modular manipulators with active and passive modules.	ICRA	2008	DBLP DOI BibTeX RDF
16	Masahiro Shimizu, Takuma Kato, Max Lungarella, Akio Ishiguro	Adaptive reconfiguration of a modular robot through heterogeneous inter-module connections.	ICRA	2008	DBLP DOI BibTeX RDF
16	Michael DeRosa, Seth Copen Goldstein, Peter Lee 0001, Padmanabhan Pillai, Jason Campbell	Programming modular robots with locally distributed predicates.	ICRA	2008	DBLP DOI BibTeX RDF
16	Roland Groz, Keqin Li 0002, Alexandre Petrenko, Muzammil Shahbaz	Modular System Verification by Inference, Testing and Reachability Analysis.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
16	Seung-kook Yun, Daniela Rus	Optimal distributed planning for self assembly of modular manipulators.	IROS	2008	DBLP DOI BibTeX RDF
16	Zoltán Nagy 0002, Raymond Oung, Jake J. Abbott, Bradley J. Nelson	Experimental investigation of magnetic self-assembly for swallowable modular robots.	IROS	2008	DBLP DOI BibTeX RDF
16	Yan Meng, Kerry Johnson, Brian Simms, Matthew Conforth	A generic architecture of modular embedded system for miniature mobile robots.	IROS	2008	DBLP DOI BibTeX RDF
16	Andreas Lyder, Ricardo Franco Mendoza Garcia, Kasper Støy	Mechanical design of odin, an extendable heterogeneous deformable modular robot.	IROS	2008	DBLP DOI BibTeX RDF
16	Gábor Paller, Heikki Kokkinen	Modular, service-oriented API for peer-to-peer middleware.	MOBILWARE	2008	DBLP DOI BibTeX RDF
16	Pham Ngoc Hung, Takuya Katayama	Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software.	APSEC	2008	DBLP DOI BibTeX RDF
16	Lassina Dembélé, Steve Donnelly	Computing Hilbert Modular Forms over Fields with Nontrivial Class Group.	ANTS	2008	DBLP DOI BibTeX RDF
16	Paul E. Gunnells, Dan Yasaki	Hecke Operators and Hilbert Modular Forms.	ANTS	2008	DBLP DOI BibTeX RDF
16	Kiran S. Kedlaya, Christopher Umans	Fast Modular Composition in any Characteristic.	FOCS	2008	DBLP DOI BibTeX RDF
16	Rafal Stankiewicz, Andrzej Jajszczyk	Modular Model Based Performance Evaluation of a DiffServ Network Supporting Assured Forwarding PHB.	ICC	2008	DBLP DOI BibTeX RDF
16	Marc Tedder, Derek G. Corneil, Michel Habib, Christophe Paul	Simpler Linear-Time Modular Decomposition Via Recursive Factorizing Permutations.	ICALP (1)	2008	DBLP DOI BibTeX RDF
16	Mirko Bordignon, Lars Lindegaard Mikkelsen, Ulrik Pagh Schultz	Implementing Flexible Parallelism for Modular Self-reconfigurable Robots.	SIMPAR	2008	DBLP DOI BibTeX RDF
16	Lars Bauer, Muhammad Shafique 0001, Jörg Henkel	A computation- and communication- infrastructure for modular special instructions in a dynamically reconfigurable processor.	FPL	2008	DBLP DOI BibTeX RDF
16	Paul J. White, Mark Yim	Reliable External Actuation for Extending Reachable Robotic Modular Self-Reconfiguration.	ISER	2008	DBLP DOI BibTeX RDF
16	Marcin Gabryel, Leszek Rutkowski	Evolutionary Methods for Designing Neuro-fuzzy Modular Systems Combined by Bagging Algorithm.	ICAISC	2008	DBLP DOI BibTeX RDF
16	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
16	Rohit Chadha, Carl A. Gunter, José Meseguer 0001, Ravinder Shankesi, Mahesh Viswanathan 0001	Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers.	FMOODS	2008	DBLP DOI BibTeX RDF
16	Chue Poh Tan, Chen Change Loy, Weng-Kin Lai, Chee Peng Lim	Robust modular ARTMAP for multi-class shape recognition.	IJCNN	2008	DBLP DOI BibTeX RDF
16	Oscar Castillo 0001, Patricia Melin	Computational intelligence software: Type-2 Fuzzy Logic and Modular Neural Networks.	IJCNN	2008	DBLP DOI BibTeX RDF
16	V. Scott Gordon 0001, Jeb Crouson	Self-splitting modular neural network - domain partitioning at boundaries of trained regions.	IJCNN	2008	DBLP DOI BibTeX RDF
16	Peter-Paul de Wolf, Sarah Giessing	How to Make the T-ARGUS Modular Method Applicable to Linked Tables.	Privacy in Statistical Databases	2008	DBLP DOI BibTeX RDF
16	Youcef Hammal	A modular state exploration and compatibility checking of UML dynamic diagrams.	AICCSA	2008	DBLP DOI BibTeX RDF
16	Franco Cicirelli, Angelo Furfaro, Libero Nigro	Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty.	Real Time Syst.	2007	DBLP DOI BibTeX RDF	Temporal uncertainty, Time interval based event delivery, Modelling complex real-time systems, Modularity constructs, Petri Net Markup Language, Distributed simulation, Time Petri nets, Time warp, Temporal analysis, Logical clocks
16	Dengguo Feng, Weidong Chen	Modular approach to the design and analysis of password-based security protocols.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	weak computational indistinguishability, random oracle model (ROM), provable security, security protocols, standard model
16	Sung-Jun Yoon, Hong-Yeop Song	Existence of Modular Sonar Sequences of Twin-Prime Product Length.	SSC	2007	DBLP DOI BibTeX RDF