The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Properties with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1947-1959 (15) 1960-1961 (15) 1962-1963 (24) 1964 (18) 1965 (16) 1966 (20) 1967 (19) 1968 (26) 1969 (29) 1970 (26) 1971 (24) 1972 (28) 1973 (49) 1974 (48) 1975 (64) 1976 (56) 1977 (64) 1978 (62) 1979 (68) 1980 (96) 1981 (73) 1982 (83) 1983 (89) 1984 (110) 1985 (141) 1986 (197) 1987 (199) 1988 (286) 1989 (300) 1990 (363) 1991 (374) 1992 (427) 1993 (505) 1994 (567) 1995 (627) 1996 (687) 1997 (736) 1998 (848) 1999 (1220) 2000 (1485) 2001 (1701) 2002 (2045) 2003 (2449) 2004 (3266) 2005 (3989) 2006 (4468) 2007 (4694) 2008 (4797) 2009 (3458) 2010 (1222) 2011 (1019) 2012 (1036) 2013 (1134) 2014 (1134) 2015 (1135) 2016 (1065) 2017 (1062) 2018 (1181) 2019 (1311) 2020 (1288) 2021 (1379) 2022 (1404) 2023 (1403) 2024 (324)
Publication types (Num. hits)
article(22344) book(26) data(9) incollection(363) inproceedings(34795) phdthesis(501) proceedings(10)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 36865 occurrences of 11423 keywords

Results
Found 58048 publication records. Showing 58048 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
48Jeremy Jacob A Uniform Presentation of Confidentiality Properties. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF confidentiality properties, information-flow properties, probabilistic security properties, security of data, composability, security property
40Allen S. Parrish, Stuart H. Zweben Analysis and Refinement of Software Test Data Adequacy Properties. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
38Reinhard Klette, Ryszard Kozera, Lyle Noakes, Joachim Weickert 04131 Abstracts Collection - Geometric Properties from Incomplete Data. Search on Bibsonomy Geometric Properties from Incomplete Data The full citation details ... 2004 DBLP  BibTeX  RDF
38Imre Simon Properties of factorization forests. Search on Bibsonomy Formal Properties of Finite Automata and Applications The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
36Jim Dowling, Raymond Cunningham, Anthony Harrington, Eoin Curran, Vinny Cahill Emergent Consensus in Decentralised Systems Using Collaborative Reinforcement Learning. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Tomasz Nowicki, Mark S. Squillante, Chai Wah Wu Fundamentals of Dynamic Decentralized Optimization in Autonomic Computing Systems. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35David Hales Sociologically Inspired Approaches for Self-*: Examples and Prospects. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Qi Luo, Jing Xiao 0001 Geometric Properties of Contacts Involving a Deformable Object. Search on Bibsonomy HAPTICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF deformable objects, contacts, geometric properties, local deformation, physical properties, global deformation
33Indranil 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. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 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. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Ittai Abraham, Dahlia Malkhi Robust Locality-Aware Lookup Networks. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Roberto Montemanni, Luca Maria Gambardella Power-Aware Distributed Protocol for a Connectivity Problem in Wireless Sensor Networks. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Spyros C. Kontogiannis, Paul G. Spirakis Evolutionary Games: An Algorithmic View. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Shang-Wen Cheng, David Garlan, Bradley R. Schmerl Making Self-Adaptation an Engineering Reality. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Pascal Felber, Ernst W. Biersack Cooperative Content Distribution: Scalability Through Self-Organization. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Karl Aberer, Anwitaman Datta, Manfred Hauswirth Multifaceted Simultaneous Load Balancing in DHT-Based P2P Systems: A New Game with Old Balls and Bins. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 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] Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Daniel A. Menascé, Mohamed N. Bennani, Honglei Ruan On the Use of Online Analytic Performance Models, in Self-Managing and Self-Organizing Computer Systems. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Péter András 0001, Bruce G Charlton Self-Aware Software - Will It Become a Reality?. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Wolfram Krause, Rudolf Sollacher, Martin Greiner Self-* Topology Control in Wireless Multihop Ad Hoc Communication Networks. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Rogério de Lemos The Conflict Between Self-* Capabilities and Predictability. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32A. E. Eiben Evolutionary Computing and Autonomic Computing: Shared Problems, Shared Solutions?. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Poul E. Heegaard, Otto J. Wittner, Bjarne E. Helvik Self-Management of Virtual Paths in Dynamic Networks. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Ant-based optimisation, elite CE ants, Network management, Swarm intelligence, Resilience, Cross-entropy
32Marco Mamei, Franco Zambonelli Spatial Computing: The TOTA Approach. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Simon Patarin, Mesaac Makpangou Pandora: An Efficient Platform for the Construction of Autonomic Applications. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Niloy Ganguly, Lutz Brusch, Andreas Deutsch Design and Analysis of a Bio-inspired Search Algorithm for Peer to Peer Networks. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Nagarajan Kandasamy, Sherif Abdelwahed, Gregory C. Sharp, John P. Hayes An Online Control Framework for Designing Self-Optimizing Computing Systems: Application to Power Management. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Peter J. Bentley Evolving Fractal Gene Regulatory Networks for Graceful Degradation of Software. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Paul Robertson 0001, Robert Laddaga Model Based Diagnosis and Contexts in Self Adaptive Software. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Sergio Camorlinga, Ken Barker 0001 The Biologically Inspired Distributed File System: An Emergent Thinker Instantiation. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Felix Salfner, Günther A. Hoffmann, Miroslaw Malek Prediction-Based Software Availability Enhancement. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Katinka Wolter Self-Management of Systems Through Automatic Restart. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Vana Kalogeraki, Fang Chen, Thomas Repantis, Demetrios Zeinalipour-Yazti Towards Self-Managing QoS-Enabled Peer-to-Peer Systems. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Manish Parashar, Zhen Li 0010, Hua Liu 0001, Vincent Matossian, Cristina Schmidt Enabling Autonomic Grid Applications: Requirements, Models and Infrastructure. Search on Bibsonomy Self-star Properties in Complex Information Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Reinhard Klette, Ryszard Kozera, Lyle Noakes, Joachim Weickert (eds.) Geometric Properties from Incomplete Data, 21.03. - 26.03.2004 Search on Bibsonomy Geometric Properties from Incomplete Data The full citation details ... 2004 DBLP  BibTeX  RDF
32Jean-Eric Pin (eds.) Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings Search on Bibsonomy Formal Properties of Finite Automata and Applications The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
32Antonio Restivo Codes and Automata. Search on Bibsonomy Formal Properties of Finite Automata and Applications The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
32Howard Straubing, Denis Thérien Finite automata and computational complexity. Search on Bibsonomy Formal Properties of Finite Automata and Applications The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
32Maxime Crochemore Algorithms and automata. Search on Bibsonomy Formal Properties of Finite Automata and Applications The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
32Marcel Paul Schützenberger Décomposition polynomiale des fonctions rationnelles (English summary). Search on Bibsonomy Formal Properties of Finite Automata and Applications The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
32Pascal Weil Concatenation product: a survey. Search on Bibsonomy Formal Properties of Finite Automata and Applications The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
32Irène Guessarian A characterization of fair computations of finite state SCCS processes. Search on Bibsonomy Formal Properties of Finite Automata and Applications The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
32Howard Straubing The wreath product and its applications. Search on Bibsonomy Formal Properties of Finite Automata and Applications The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
32John C. Meakin Automata and the word problem. Search on Bibsonomy Formal Properties of Finite Automata and Applications The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
32Wolfgang Thomas Automata and quantifier hierarchies. Search on Bibsonomy Formal Properties of Finite Automata and Applications The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
32Aldo de Luca, Stefano Varricchio A finiteness condition for semigroups. Search on Bibsonomy Formal Properties of Finite Automata and Applications The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
32Jean-Camille Birget Basic techniques for two-way finite automata. Search on Bibsonomy Formal Properties of Finite Automata and Applications The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
32Jorge Almeida 0001 Equations for pseudovarieties. Search on Bibsonomy Formal Properties of Finite Automata and Applications The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
32Jean-Eric Pin Relational morphisms, transductions and operations on languages. Search on Bibsonomy Formal Properties of Finite Automata and Applications The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
32Didier Vergamini Verification of distributed systems: an experiment. Search on Bibsonomy Formal Properties of Finite Automata and Applications The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
32Kosaburo Hashiguchi Relative star height, star height and finite automata with distance functions. Search on Bibsonomy Formal Properties of Finite Automata and Applications The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
32Jean Berstel Finite automata and rational languages. An introduction. Search on Bibsonomy Formal Properties of Finite Automata and Applications The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
32G. Rauzy Numbers and automata. Search on Bibsonomy Formal Properties of Finite Automata and Applications The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
32Angela Dappert, Adam Farquhar Significance Is in the Eye of the Stakeholder. Search on Bibsonomy ECDL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF significant properties, significant characteristics, applicable properties, requirements, Digital preservation, properties, characteristics
31Xudong He A method for analyzing properties of hierarchical predicate transition nets. Search on Bibsonomy COMPSAC The full citation details ... 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
31Yatin Vasant Hoskote, Jacob A. Abraham, Donald S. Fussell Automated verification of temporal properties specified as state machines in VHDL. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 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
30Antonio Maña, Gimena Pujol Towards Formal Specification of Abstract Security Properties. Search on Bibsonomy ARES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Formal Models, Security Properties, Proof assistants
30Alfred P. Maneki Algebraic properties of system composition in the LORAL, Ulysses and McLean trace models. Search on Bibsonomy CSFW The full citation details ... 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
30Christian Dimitrovici, Udo Hummert, Laure Petrucci Semantics, composition and net properties of algebraic high-level nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 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
29Stefano Berretti, Alberto Del Bimbo, Pietro Pala Sensations and Psychological Effects in Color Image Database. Search on Bibsonomy ICIP (1) The full citation details ... 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
28A. W. Roscoe 0001, Lars Wulf Composing and decomposing systems under security properties. Search on Bibsonomy CSFW The full citation details ... 1995 DBLP  DOI  BibTeX  RDF separability of processes, noninterference properties, disjoint components, security of data, separability, security properties
27Khaled M. Khan, Jun Han 0004, Yuliang Zheng 0001 Security Properties of Software Components. Search on Bibsonomy ISW The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Component functionality, Software component, Security properties
27Simone Kriglstein OWL Ontology Visualization: Graphical Representations of Properties on the Instance Level. Search on Bibsonomy IV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF OWL Lite, Knoocks, graphical representation of instances, datatype properties, object properties, Information visualization
27John Watrous Succinct quantum proofs for properties of finite groups. Search on Bibsonomy FOCS The full citation details ... 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
26Sidi O. Ehmety, Lawrence C. Paulson Mechanizing compositional reasoning for concurrent systems: some lessons. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Existential properties, Universal properties, Guarantees assertions, UNITY, Isabelle, Compositional reasoning
26Jaime Gómez García-Bermejo, J. Delgado Urrechu, Francisco Javier Díaz Pernas, Juan López Coronado Industrial Painting Inspection using Specular Sharpness. Search on Bibsonomy 3DIM The full citation details ... 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
25Pierre-Alain Masson, Jacques Julliand, Jean-Chritophe Plessis, Eddie Jaffuel, Georges Debois Automatic generation of model based tests for a class of security properties. Search on Bibsonomy A-MOST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF security policy, automatic test generation, security properties
25Eldar Fischer, Ilan Newman Testing of matrix properties. Search on Bibsonomy STOC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF matrix properties, property testing
25Paul 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. Search on Bibsonomy ACM Trans. Inf. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF active properties, document services, user experience, component software, document management systems
24Oded Goldreich 0001, Michael Krivelevich, Ilan Newman, Eyal Rozenberg Hierarchy Theorems for Property Testing. Search on Bibsonomy APPROX-RANDOM The full citation details ... 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
24Natalia Sidorova, Martin Steffen Verification of a wireless ATM medium-access protocol. Search on Bibsonomy APSEC The full citation details ... 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
24Hiromi Hiraishi Verification of deadlock free property of high level robot control. Search on Bibsonomy Asian Test Symposium The full citation details ... 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
24Stephen H. Brackin A HOL extension of GNY for automatically analyzing cryptographic protocols. Search on Bibsonomy CSFW The full citation details ... 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
24Jonathan L. Wang Impact of self-similarity on the go-back-N ARQ protocols. Search on Bibsonomy ICCCN The full citation details ... 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
24Jeannette M. Wing Using Larch to Specify Avalon/C++ Objects. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Avalon/C++ objects, subatomic, nonfunctional properties, complex properties, formal specification, formal specification, atomic, recoverable, Larch
24Stephen P. Morse Concepts of use in contour map processing. Search on Bibsonomy Commun. ACM The full citation details ... 1969 DBLP  DOI  BibTeX  RDF contour lines, graph of contour map, navigation, map, topological properties, geometrical properties, contour map
24Orna Kupferman, Yoad Lustig, Moshe Y. Vardi On Locally Checkable Properties. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Mark Gabel, Zhendong Su 0001 Online inference and enforcement of temporal properties. Search on Bibsonomy ICSE (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF online algorithm, dynamic analysis, temporal properties
24Sergey I. Balandin, Heikki Waris Key Properties in the Development of Smart Spaces. Search on Bibsonomy HCI (6) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Future Mobile Devices, Taxonomy, Smart Spaces, Properties
24Andreas Bauer 0002, Jan Jürjens Security protocols, properties, and their monitoring. Search on Bibsonomy SESS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF monitoring of history-based properties, temporal logic, security protocols, runtime verification, language-based security, security automata
24Amit Chakrabarti, Subhash Khot, Yaoyun Shi Evasiveness of Subgraph Containment and Related Properties. Search on Bibsonomy STACS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Decision Tree Complexity, Monotone Graph Properties, Graph Property Testing, Evasiveness
24Eyal 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. Search on Bibsonomy Workshop on Hot Topics in Operating Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF active properties (or metadata), notifiers, caching, documents, customization, verifiers
24Yih-Kuen Tsay, Rajive L. Bagrodia Deducing Fairness Properties in UNITY Logic - A New Completeness Result. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF fairness properties, temporal logic, completeness, UNITY
23Benoî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. Search on Bibsonomy ICEIS (Selected Papers) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Properties Validation, Temporal OCL, Models Semantics, Verification, Petri Nets, Process Model, Model Transformation, Metamodelling, LTL
23Noga Alon, Asaf Shapira Every monotone graph property is testable. Search on Bibsonomy STOC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF monotone properties, property testing, regularity lemma
23Mihnea Andrei, Xun Cheng, Sudipto Chowdhuri, Curtis Johnson, Edwin Seputis Ordering, distinctness, aggregation, partitioning and DQP optimization in sybase ASE 15. Search on Bibsonomy SIGMOD Conference The full citation details ... 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
23Petar Momcilovic, Mark S. Squillante On throughput in linear wireless networks. Search on Bibsonomy MobiHoc The full citation details ... 2008 DBLP  DOI  BibTeX  RDF asymptotic properties, critical load, linear loss networks, throughput properties, wireless networks
23Mert Sedef, Evren Samur, Cagatay Basdogan Visual and Haptic Simulation of Linear Viscoelastic Tissue Behavior Based on Experimental Data. Search on Bibsonomy HAPTICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF linear viscoelastic FEM, experimentallymeasured tissue properties, integration of tissue properties into models, pre-recording, real-time surgical simulation, haptics
23Mungi Choi, Yongyi Yang, Nikolas P. Galatsanos Regularized Multichannel Recovery of Compressed Video. Search on Bibsonomy ICIP (1) The full citation details ... 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
23Mun Choon Chan, Giovanni Pacifici, Rolf Stadler Prototyping Network Architectures on a Supercomputer. Search on Bibsonomy HPDC The full citation details ... 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
23Martín Abadi, Leslie Lamport Conjoining Specifications. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF temporal logic, composition, decomposition, concurrent programming, safety properties, liveness properties, modular specification
23Jiebo Luo, Chang Wen Chen, Kevin J. Parker, Thomas S. Huang Adaptive quantization with spatial constraints in subband video compression using wavelets. Search on Bibsonomy ICIP The full citation details ... 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
23Martín Abadi, Leslie Lamport An Old-Fashined Recipe for Real-Time. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Zeno, real time, temporal logic, composition, concurrent programming, safety properties, liveness properties
23Leslie Lamport The Temporal Logic of Actions. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF concurrent programming, safety properties, liveness properties
23Martín Abadi, Leslie Lamport Composing Specifications. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF concurrent programming, compositionality, safety properties, liveness properties, modular specification
23David A. Gustafson, Joo T. Tan, Perla Weaver Software Measure Specification. Search on Bibsonomy SIGSOFT FSE The full citation details ... 1993 DBLP  DOI  BibTeX  RDF foundations of measures, properties of measures, proving properties, metrics, software measures, measurement theory
23Krishnan Padmanabhan Design and Analysis of Even-Sized Binary Shuffle-Exchange Networks for Multiprocessors. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 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
23Fred B. Schneider, Bard Bloom, Keith Marzullo Putting Time into Proof Outlines. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF concurrent program verification, real-time actions, proof outlines, safety properties, real-time programming, timing properties
23Yair Wand, Ron Weber An Ontological Model of an Information System. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF static properties, predictive power, software engineering, information system, decomposition, system, coupling, ontological model, subsystem, dynamic properties
22Ram Krishnan, Jianwei Niu 0001, Ravi S. Sandhu, William H. Winsborough Stale-safe security properties for group-based secure information sharing. Search on Bibsonomy FMSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF stale attributes, information sharing, security properties
Displaying result #1 - #100 of 58048 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license