Search results for "properties"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
48	Jeremy Jacob	A Uniform Presentation of Confidentiality Properties.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	confidentiality properties, information-flow properties, probabilistic security properties, security of data, composability, security property
40	Allen S. Parrish, Stuart H. Zweben	Analysis and Refinement of Software Test Data Adequacy Properties.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	software test data adequacy properties, weak existential properties, formal specification, software testing, specification, data integrity, standards, standards, consistency, program testing, program structure
38	Reinhard Klette, Ryszard Kozera, Lyle Noakes, Joachim Weickert	04131 Abstracts Collection - Geometric Properties from Incomplete Data.	Geometric Properties from Incomplete Data	2004	DBLP BibTeX RDF
38	Imre Simon	Properties of factorization forests.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
36	Jim Dowling, Raymond Cunningham, Anthony Harrington, Eoin Curran, Vinny Cahill	Emergent Consensus in Decentralised Systems Using Collaborative Reinforcement Learning.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
35	Tomasz Nowicki, Mark S. Squillante, Chai Wah Wu	Fundamentals of Dynamic Decentralized Optimization in Autonomic Computing Systems.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
35	David Hales	Sociologically Inspired Approaches for Self-*: Examples and Prospects.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
34	Qi Luo, Jing Xiao 0001	Geometric Properties of Contacts Involving a Deformable Object.	HAPTICS	2006	DBLP DOI BibTeX RDF	deformable objects, contacts, geometric properties, local deformation, physical properties, global deformation
33	Indranil Gupta, Steven Y. Ko, Nathanael Thompson, Mahvesh Nagda, Christo Frank Devaraj, Ramsés Morales, Jay A. Patel	A Case for Design Methodology Research in Self-* Distributed Systems.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
33	Özalp Babaoglu, Márk Jelasity, Alberto Montresor, Christof Fetzer, Stefano Leonardi 0001, Aad P. A. van Moorsel	The Self-Star Vision.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
33	Ittai Abraham, Dahlia Malkhi	Robust Locality-Aware Lookup Networks.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
33	Roberto Montemanni, Luca Maria Gambardella	Power-Aware Distributed Protocol for a Connectivity Problem in Wireless Sensor Networks.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
33	Spyros C. Kontogiannis, Paul G. Spirakis	Evolutionary Games: An Algorithmic View.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
33	Shang-Wen Cheng, David Garlan, Bradley R. Schmerl	Making Self-Adaptation an Engineering Reality.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
33	Pascal Felber, Ernst W. Biersack	Cooperative Content Distribution: Scalability Through Self-Organization.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
33	Karl Aberer, Anwitaman Datta, Manfred Hauswirth	Multifaceted Simultaneous Load Balancing in DHT-Based P2P Systems: A New Game with Old Balls and Bins.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
32	Özalp Babaoglu, Márk Jelasity, Alberto Montresor, Christof Fetzer, Stefano Leonardi 0001, Aad P. A. van Moorsel, Maarten van Steen (eds.)	Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004]	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
32	Daniel A. Menascé, Mohamed N. Bennani, Honglei Ruan	On the Use of Online Analytic Performance Models, in Self-Managing and Self-Organizing Computer Systems.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
32	Péter András 0001, Bruce G Charlton	Self-Aware Software - Will It Become a Reality?.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
32	Wolfram Krause, Rudolf Sollacher, Martin Greiner	Self-* Topology Control in Wireless Multihop Ad Hoc Communication Networks.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
32	Rogério de Lemos	The Conflict Between Self-* Capabilities and Predictability.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
32	A. E. Eiben	Evolutionary Computing and Autonomic Computing: Shared Problems, Shared Solutions?.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
32	Poul E. Heegaard, Otto J. Wittner, Bjarne E. Helvik	Self-Management of Virtual Paths in Dynamic Networks.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF	Ant-based optimisation, elite CE ants, Network management, Swarm intelligence, Resilience, Cross-entropy
32	Marco Mamei, Franco Zambonelli	Spatial Computing: The TOTA Approach.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
32	Simon Patarin, Mesaac Makpangou	Pandora: An Efficient Platform for the Construction of Autonomic Applications.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
32	Niloy Ganguly, Lutz Brusch, Andreas Deutsch	Design and Analysis of a Bio-inspired Search Algorithm for Peer to Peer Networks.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
32	Nagarajan Kandasamy, Sherif Abdelwahed, Gregory C. Sharp, John P. Hayes	An Online Control Framework for Designing Self-Optimizing Computing Systems: Application to Power Management.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
32	Peter J. Bentley	Evolving Fractal Gene Regulatory Networks for Graceful Degradation of Software.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
32	Paul Robertson 0001, Robert Laddaga	Model Based Diagnosis and Contexts in Self Adaptive Software.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
32	Sergio Camorlinga, Ken Barker 0001	The Biologically Inspired Distributed File System: An Emergent Thinker Instantiation.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
32	Felix Salfner, Günther A. Hoffmann, Miroslaw Malek	Prediction-Based Software Availability Enhancement.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
32	Katinka Wolter	Self-Management of Systems Through Automatic Restart.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
32	Vana Kalogeraki, Fang Chen, Thomas Repantis, Demetrios Zeinalipour-Yazti	Towards Self-Managing QoS-Enabled Peer-to-Peer Systems.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
32	Manish Parashar, Zhen Li 0010, Hua Liu 0001, Vincent Matossian, Cristina Schmidt	Enabling Autonomic Grid Applications: Requirements, Models and Infrastructure.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
32	Reinhard Klette, Ryszard Kozera, Lyle Noakes, Joachim Weickert (eds.)	Geometric Properties from Incomplete Data, 21.03. - 26.03.2004	Geometric Properties from Incomplete Data	2004	DBLP BibTeX RDF
32	Jean-Eric Pin (eds.)	Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings	Formal Properties of Finite Automata and Applications	1989	DBLP DOI BibTeX RDF
32	Antonio Restivo	Codes and Automata.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
32	Howard Straubing, Denis Thérien	Finite automata and computational complexity.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
32	Maxime Crochemore	Algorithms and automata.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
32	Marcel Paul Schützenberger	Décomposition polynomiale des fonctions rationnelles (English summary).	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
32	Pascal Weil	Concatenation product: a survey.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
32	Irène Guessarian	A characterization of fair computations of finite state SCCS processes.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
32	Howard Straubing	The wreath product and its applications.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
32	John C. Meakin	Automata and the word problem.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
32	Wolfgang Thomas	Automata and quantifier hierarchies.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
32	Aldo de Luca, Stefano Varricchio	A finiteness condition for semigroups.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
32	Jean-Camille Birget	Basic techniques for two-way finite automata.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
32	Jorge Almeida 0001	Equations for pseudovarieties.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
32	Jean-Eric Pin	Relational morphisms, transductions and operations on languages.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
32	Didier Vergamini	Verification of distributed systems: an experiment.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
32	Kosaburo Hashiguchi	Relative star height, star height and finite automata with distance functions.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
32	Jean Berstel	Finite automata and rational languages. An introduction.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
32	G. Rauzy	Numbers and automata.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
32	Angela Dappert, Adam Farquhar	Significance Is in the Eye of the Stakeholder.	ECDL	2009	DBLP DOI BibTeX RDF	significant properties, significant characteristics, applicable properties, requirements, Digital preservation, properties, characteristics
31	Xudong He	A method for analyzing properties of hierarchical predicate transition nets.	COMPSAC	1995	DBLP DOI BibTeX RDF	hierarchical predicate transition nets, hierarchical high level Petri nets, distributed systems modelling, hierarchical predicate transition Petri nets, temporal induction techniques, hybrid reasoning technique, net structural reasoning, behavioral reasoning, first order logic reasoning, formal method, Petri nets, distributed processing, inference mechanisms, formal logic, safety properties, liveness properties
31	Yatin Vasant Hoskote, Jacob A. Abraham, Donald S. Fussell	Automated verification of temporal properties specified as state machines in VHDL.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	automated verification methodology, correctness specifications, Viper microprocessor, Mealy FSM, compatible states, formal specification, formal verification, high level synthesis, finite state machines, VHDL, sequential circuits, state machines, hardware description languages, microprocessor chips, synchronous sequential circuit, temporal properties, liveness properties
30	Antonio Maña, Gimena Pujol	Towards Formal Specification of Abstract Security Properties.	ARES	2008	DBLP DOI BibTeX RDF	Formal Models, Security Properties, Proof assistants
30	Alfred P. Maneki	Algebraic properties of system composition in the LORAL, Ulysses and McLean trace models.	CSFW	1995	DBLP DOI BibTeX RDF	trace models, associative laws, commutative laws, containment relationships, information systems, information systems, security of data, security properties, event systems, system composition, algebraic properties
30	Christian Dimitrovici, Udo Hummert, Laure Petrucci	Semantics, composition and net properties of algebraic high-level nets.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	coloured nets, net invariants and properties, algebraic net schemes and high-level nets, morphisms of algebraic high-level nets, normed scheme semantics, net properties of high-level nets, morphisms
29	Stefano Berretti, Alberto Del Bimbo, Pietro Pala	Sensations and Psychological Effects in Color Image Database.	ICIP (1)	1997	DBLP DOI BibTeX RDF	color image database, image database querying, color content, machine representation, color information, high-level properties, warmth, color-induced sensations, anguish, Itten theory, chromatic properties, art, formal language, visual databases, paintings, contrast, perceptual quality, user queries, depression, excitement, harmony, psychological effects
28	A. W. Roscoe 0001, Lars Wulf	Composing and decomposing systems under security properties.	CSFW	1995	DBLP DOI BibTeX RDF	separability of processes, noninterference properties, disjoint components, security of data, separability, security properties
27	Khaled M. Khan, Jun Han 0004, Yuliang Zheng 0001	Security Properties of Software Components.	ISW	1999	DBLP DOI BibTeX RDF	Component functionality, Software component, Security properties
27	Simone Kriglstein	OWL Ontology Visualization: Graphical Representations of Properties on the Instance Level.	IV	2010	DBLP DOI BibTeX RDF	OWL Lite, Knoocks, graphical representation of instances, datatype properties, object properties, Information visualization
27	John Watrous	Succinct quantum proofs for properties of finite groups.	FOCS	2000	DBLP DOI BibTeX RDF	succinct quantum proofs, finite group properties, quantum computational variant, quantum proof, quantum state, NP-type proof, black-box groups, group operations, group oracle, Group Non-Membership problem, bounded error, simple proof, quantum proofs, classical proofs, group properties, computational complexity, theorem proving, quantum computing, quantum computer, certificate, nondeterminism, polynomial time, strings, group theory, finite groups
26	Sidi O. Ehmety, Lawrence C. Paulson	Mechanizing compositional reasoning for concurrent systems: some lessons.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Existential properties, Universal properties, Guarantees assertions, UNITY, Isabelle, Compositional reasoning
26	Jaime Gómez García-Bermejo, J. Delgado Urrechu, Francisco Javier Díaz Pernas, Juan López Coronado	Industrial Painting Inspection using Specular Sharpness.	3DIM	1997	DBLP DOI BibTeX RDF	industrial painting inspection, specular sharpness, digital 3D plus color imaging, optical properties, coating quality, surface-related properties, structured-light triangulation-based technique, automatic optical inspection
25	Pierre-Alain Masson, Jacques Julliand, Jean-Chritophe Plessis, Eddie Jaffuel, Georges Debois	Automatic generation of model based tests for a class of security properties.	A-MOST	2007	DBLP DOI BibTeX RDF	security policy, automatic test generation, security properties
25	Eldar Fischer, Ilan Newman	Testing of matrix properties.	STOC	2001	DBLP DOI BibTeX RDF	matrix properties, property testing
25	Paul Dourish, W. Keith Edwards, Anthony LaMarca, John Lamping, Karin Petersen, Michael Salisbury, Douglas B. Terry, James D. Thornton	Extending document management systems with user-specific active properties.	ACM Trans. Inf. Syst.	2000	DBLP DOI BibTeX RDF	active properties, document services, user experience, component software, document management systems
24	Oded Goldreich 0001, Michael Krivelevich, Ilan Newman, Eyal Rozenberg	Hierarchy Theorems for Property Testing.	APPROX-RANDOM	2009	DBLP DOI BibTeX RDF	Monotone Graph Properties, Graph Blow-up, One-Sided vs Two-Sided Error, Adaptivity vs Non-adaptivity, Property Testing, Graph Properties
24	Natalia Sidorova, Martin Steffen	Verification of a wireless ATM medium-access protocol.	APSEC	2000	DBLP DOI BibTeX RDF	medium-access protocol verification, modular structure, SDL specification, abstraction techniques, system debugging, untimed properties, time-dependent properties, model checking, formal specification, formal verification, wireless LAN, asynchronous transfer mode, access protocols, state space reduction, wireless ATM
24	Hiromi Hiraishi	Verification of deadlock free property of high level robot control.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	deadlock free property, high level robot control, verification algorithm, task control architecture, concurrent robot control processes, symbolic model verifier, symbolic model checking algorithm, robots, formal verification, logic testing, concurrency control, message passing, symbol manipulation, safety properties, liveness properties
24	Stephen H. Brackin	A HOL extension of GNY for automatically analyzing cryptographic protocols.	CSFW	1996	DBLP DOI BibTeX RDF	HOL extension, automatically analyzing cryptographic protocols, higher order logic theory, authentication properties, protocol properties, hash operations, key-exchange algorithms, formal specification, cryptography, message authentication, access protocols, message authentication codes, multiple encryption, belief maintenance, belief logic
24	Jonathan L. Wang	Impact of self-similarity on the go-back-N ARQ protocols.	ICCCN	1995	DBLP DOI BibTeX RDF	go-back-N ARQ protocols, packet traffic, fractal properties, self-similar properties, link-layer error control mechanism, maximum throughput efficiency, Gilbert's 2-state error mode, parameter matching technique, frame transmission time, network engineering, delay, self-similarity, automatic repeat request, propagation delay, burstiness
24	Jeannette M. Wing	Using Larch to Specify Avalon/C++ Objects.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Avalon/C++ objects, subatomic, nonfunctional properties, complex properties, formal specification, formal specification, atomic, recoverable, Larch
24	Stephen P. Morse	Concepts of use in contour map processing.	Commun. ACM	1969	DBLP DOI BibTeX RDF	contour lines, graph of contour map, navigation, map, topological properties, geometrical properties, contour map
24	Orna Kupferman, Yoad Lustig, Moshe Y. Vardi	On Locally Checkable Properties.	LPAR	2006	DBLP DOI BibTeX RDF
24	Mark Gabel, Zhendong Su 0001	Online inference and enforcement of temporal properties.	ICSE (1)	2010	DBLP DOI BibTeX RDF	online algorithm, dynamic analysis, temporal properties
24	Sergey I. Balandin, Heikki Waris	Key Properties in the Development of Smart Spaces.	HCI (6)	2009	DBLP DOI BibTeX RDF	Future Mobile Devices, Taxonomy, Smart Spaces, Properties
24	Andreas Bauer 0002, Jan Jürjens	Security protocols, properties, and their monitoring.	SESS	2008	DBLP DOI BibTeX RDF	monitoring of history-based properties, temporal logic, security protocols, runtime verification, language-based security, security automata
24	Amit Chakrabarti, Subhash Khot, Yaoyun Shi	Evasiveness of Subgraph Containment and Related Properties.	STACS	2001	DBLP DOI BibTeX RDF	Decision Tree Complexity, Monotone Graph Properties, Graph Property Testing, Evasiveness
24	Eyal de Lara, Karin Petersen, Douglas B. Terry, Anthony LaMarca, James D. Thornton, Michael Salisbury, Paul Dourish, W. Keith Edwards, John Lamping	Caching Documents with Active Properties.	Workshop on Hot Topics in Operating Systems	1999	DBLP DOI BibTeX RDF	active properties (or metadata), notifiers, caching, documents, customization, verifiers
24	Yih-Kuen Tsay, Rajive L. Bagrodia	Deducing Fairness Properties in UNITY Logic - A New Completeness Result.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	fairness properties, temporal logic, completeness, UNITY
23	Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, François Vernadat 0001	A Property-Driven Approach to Formal Verification of Process Models.	ICEIS (Selected Papers)	2007	DBLP DOI BibTeX RDF	Properties Validation, Temporal OCL, Models Semantics, Verification, Petri Nets, Process Model, Model Transformation, Metamodelling, LTL
23	Noga Alon, Asaf Shapira	Every monotone graph property is testable.	STOC	2005	DBLP DOI BibTeX RDF	monotone properties, property testing, regularity lemma
23	Mihnea Andrei, Xun Cheng, Sudipto Chowdhuri, Curtis Johnson, Edwin Seputis	Ordering, distinctness, aggregation, partitioning and DQP optimization in sybase ASE 15.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	abstract plans, distinctness, eager aggregation, lazy aggregation, logical operators, logical properties, physical operators, property enforcement, optimization, search engine, aggregation, grouping, ordering, search space, operator model, physical properties
23	Petar Momcilovic, Mark S. Squillante	On throughput in linear wireless networks.	MobiHoc	2008	DBLP DOI BibTeX RDF	asymptotic properties, critical load, linear loss networks, throughput properties, wireless networks
23	Mert Sedef, Evren Samur, Cagatay Basdogan	Visual and Haptic Simulation of Linear Viscoelastic Tissue Behavior Based on Experimental Data.	HAPTICS	2006	DBLP DOI BibTeX RDF	linear viscoelastic FEM, experimentallymeasured tissue properties, integration of tissue properties into models, pre-recording, real-time surgical simulation, haptics
23	Mungi Choi, Yongyi Yang, Nikolas P. Galatsanos	Regularized Multichannel Recovery of Compressed Video.	ICIP (1)	1997	DBLP DOI BibTeX RDF	regularized multichannel recovery, regularization operators, spatial correlation properties, temporal correlation properties, recovery algorithm, data compression, image sequence, smoothness, artifacts, motion trajectories, compressed video
23	Mun Choon Chan, Giovanni Pacifici, Rolf Stadler	Prototyping Network Architectures on a Supercomputer.	HPDC	1996	DBLP DOI BibTeX RDF	network architecture prototyping, dynamic behavior evaluation, overall performance evaluation, functional properties, interactive emulation platform, multimedia network services, load patterns, network management operations, KSR-1, SP2 parallel processor, graphics workstation, ATM links, performance evaluation, real-time systems, parallel programming, interactive systems, multimedia communication, data visualisation, supercomputer, software prototyping, software prototype, network operating systems, telecommunication computing, network control systems, engineering graphics, telecommunication network management, telecommunication control, real-time visualization, network sizes, dynamic properties, control system CAD
23	Martín Abadi, Leslie Lamport	Conjoining Specifications.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	temporal logic, composition, decomposition, concurrent programming, safety properties, liveness properties, modular specification
23	Jiebo Luo, Chang Wen Chen, Kevin J. Parker, Thomas S. Huang	Adaptive quantization with spatial constraints in subband video compression using wavelets.	ICIP	1995	DBLP DOI BibTeX RDF	adaptive quantization, subband video compression, high frequency subbands coding, spectral localization properties, spatial localization properties, subband decomposition, multimodal Laplacian distribution, spectral distribution, noniterative MAP estimation, quantized subbands, wavelet transforms, wavelets, data compression, statistical analysis, video coding, maximum likelihood estimation, spectral analysis, random processes, adaptive signal processing, spatial constraints, quantisation (signal), Gibbs random field, low bit rate coding, subband coding
23	Martín Abadi, Leslie Lamport	An Old-Fashined Recipe for Real-Time.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	Zeno, real time, temporal logic, composition, concurrent programming, safety properties, liveness properties
23	Leslie Lamport	The Temporal Logic of Actions.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	concurrent programming, safety properties, liveness properties
23	Martín Abadi, Leslie Lamport	Composing Specifications.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	concurrent programming, compositionality, safety properties, liveness properties, modular specification
23	David A. Gustafson, Joo T. Tan, Perla Weaver	Software Measure Specification.	SIGSOFT FSE	1993	DBLP DOI BibTeX RDF	foundations of measures, properties of measures, proving properties, metrics, software measures, measurement theory
23	Krishnan Padmanabhan	Design and Analysis of Even-Sized Binary Shuffle-Exchange Networks for Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	control tags, traffic capacity, binary shuffle-exchange networks, distributed tag-based controlalgorithm, stochastic environment, buffercapacity, performance evaluation, performance, architecture, multiprocessors, connectivity, multiprocessor interconnection networks, multiprocessing systems, structural properties, destination, source, dynamic properties, parallelarchitectures
23	Fred B. Schneider, Bard Bloom, Keith Marzullo	Putting Time into Proof Outlines.	REX Workshop	1991	DBLP DOI BibTeX RDF	concurrent program verification, real-time actions, proof outlines, safety properties, real-time programming, timing properties
23	Yair Wand, Ron Weber	An Ontological Model of an Information System.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	static properties, predictive power, software engineering, information system, decomposition, system, coupling, ontological model, subsystem, dynamic properties
22	Ram Krishnan, Jianwei Niu 0001, Ravi S. Sandhu, William H. Winsborough	Stale-safe security properties for group-based secure information sharing.	FMSE	2008	DBLP DOI BibTeX RDF	stale attributes, information sharing, security properties