|
|
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 |
48 | Jeremy Jacob |
A Uniform Presentation of Confidentiality Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(11), pp. 1186-1194, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(6), pp. 656-581, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Geometric Properties from Incomplete Data ![In: Geometric Properties from Incomplete Data, 21.03. - 26.03.2004, 2004, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
38 | Imre Simon |
Properties of factorization forests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Properties of Finite Automata and Applications ![In: Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings, pp. 65-72, 1988, Springer, 3-540-51631-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 63-80, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Tomasz Nowicki, Mark S. Squillante, Chai Wah Wu |
Fundamentals of Dynamic Decentralized Optimization in Autonomic Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 204-218, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | David Hales |
Sociologically Inspired Approaches for Self-*: Examples and Prospects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 433-445, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Qi Luo, Jing Xiao 0001 |
Geometric Properties of Contacts Involving a Deformable Object. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HAPTICS ![In: 14th International Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (HAPTICS 2006), 25-26 March 2006, Arlington, VA, USA, Proceedings, pp. 80, 2006, IEEE Computer Society, 1-4244-0226-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 260-272, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
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](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 1-20, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Ittai Abraham, Dahlia Malkhi |
Robust Locality-Aware Lookup Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 392-402, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Roberto Montemanni, Luca Maria Gambardella |
Power-Aware Distributed Protocol for a Connectivity Problem in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 403-416, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Spyros C. Kontogiannis, Paul G. Spirakis |
Evolutionary Games: An Algorithmic View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 97-111, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Shang-Wen Cheng, David Garlan, Bradley R. Schmerl |
Making Self-Adaptation an Engineering Reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 158-173, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Pascal Felber, Ernst W. Biersack |
Cooperative Content Distribution: Scalability Through Self-Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 343-357, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 373-391, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
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](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![Springer, 3-540-26009-9 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 128-142, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Péter András 0001, Bruce G Charlton |
Self-Aware Software - Will It Become a Reality?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 229-259, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Wolfram Krause, Rudolf Sollacher, Martin Greiner |
Self-* Topology Control in Wireless Multihop Ad Hoc Communication Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 49-62, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Rogério de Lemos |
The Conflict Between Self-* Capabilities and Predictability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 219-228, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | A. E. Eiben |
Evolutionary Computing and Autonomic Computing: Shared Problems, Shared Solutions?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 36-48, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Poul E. Heegaard, Otto J. Wittner, Bjarne E. Helvik |
Self-Management of Virtual Paths in Dynamic Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 417-432, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 307-324, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Simon Patarin, Mesaac Makpangou |
Pandora: An Efficient Platform for the Construction of Autonomic Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 291-306, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 358-372, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 174-188, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Peter J. Bentley |
Evolving Fractal Gene Regulatory Networks for Graceful Degradation of Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 21-35, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Paul Robertson 0001, Robert Laddaga |
Model Based Diagnosis and Contexts in Self Adaptive Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 112-127, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Sergio Camorlinga, Ken Barker 0001 |
The Biologically Inspired Distributed File System: An Emergent Thinker Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 81-96, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Felix Salfner, Günther A. Hoffmann, Miroslaw Malek |
Prediction-Based Software Availability Enhancement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 143-157, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Katinka Wolter |
Self-Management of Systems Through Automatic Restart. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 189-203, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Vana Kalogeraki, Fang Chen, Thomas Repantis, Demetrios Zeinalipour-Yazti |
Towards Self-Managing QoS-Enabled Peer-to-Peer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 325-342, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 273-290, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Geometric Properties from Incomplete Data ![Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Properties of Finite Automata and Applications ![Springer, 3-540-51631-X The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
32 | Antonio Restivo |
Codes and Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Properties of Finite Automata and Applications ![In: Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings, pp. 186-198, 1988, Springer, 3-540-51631-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
32 | Howard Straubing, Denis Thérien |
Finite automata and computational complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Properties of Finite Automata and Applications ![In: Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings, pp. 199-233, 1988, Springer, 3-540-51631-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
32 | Maxime Crochemore |
Algorithms and automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Properties of Finite Automata and Applications ![In: Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings, pp. 166-175, 1988, Springer, 3-540-51631-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
32 | Marcel Paul Schützenberger |
Décomposition polynomiale des fonctions rationnelles (English summary). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Properties of Finite Automata and Applications ![In: Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings, pp. 25-33, 1988, Springer, 3-540-51631-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
32 | Pascal Weil |
Concatenation product: a survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Properties of Finite Automata and Applications ![In: Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings, pp. 120-137, 1988, Springer, 3-540-51631-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
32 | Irène Guessarian |
A characterization of fair computations of finite state SCCS processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Properties of Finite Automata and Applications ![In: Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings, pp. 234-248, 1988, Springer, 3-540-51631-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
32 | Howard Straubing |
The wreath product and its applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Properties of Finite Automata and Applications ![In: Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings, pp. 15-24, 1988, Springer, 3-540-51631-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
32 | John C. Meakin |
Automata and the word problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Properties of Finite Automata and Applications ![In: Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings, pp. 89-103, 1988, Springer, 3-540-51631-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
32 | Wolfgang Thomas |
Automata and quantifier hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Properties of Finite Automata and Applications ![In: Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings, pp. 104-119, 1988, Springer, 3-540-51631-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
32 | Aldo de Luca, Stefano Varricchio |
A finiteness condition for semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Properties of Finite Automata and Applications ![In: Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings, pp. 138-147, 1988, Springer, 3-540-51631-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
32 | Jean-Camille Birget |
Basic techniques for two-way finite automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Properties of Finite Automata and Applications ![In: Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings, pp. 56-64, 1988, Springer, 3-540-51631-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
32 | Jorge Almeida 0001 |
Equations for pseudovarieties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Properties of Finite Automata and Applications ![In: Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings, pp. 148-164, 1988, Springer, 3-540-51631-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
32 | Jean-Eric Pin |
Relational morphisms, transductions and operations on languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Properties of Finite Automata and Applications ![In: Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings, pp. 34-55, 1988, Springer, 3-540-51631-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
32 | Didier Vergamini |
Verification of distributed systems: an experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Properties of Finite Automata and Applications ![In: Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings, pp. 249-259, 1988, Springer, 3-540-51631-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
32 | Kosaburo Hashiguchi |
Relative star height, star height and finite automata with distance functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Properties of Finite Automata and Applications ![In: Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings, pp. 74-88, 1988, Springer, 3-540-51631-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
32 | Jean Berstel |
Finite automata and rational languages. An introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Properties of Finite Automata and Applications ![In: Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings, pp. 2-14, 1988, Springer, 3-540-51631-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
32 | G. Rauzy |
Numbers and automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Properties of Finite Automata and Applications ![In: Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings, pp. 176-185, 1988, Springer, 3-540-51631-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
32 | Angela Dappert, Adam Farquhar |
Significance Is in the Eye of the Stakeholder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECDL ![In: Research and Advanced Technology for Digital Libraries, 13th European Conference, ECDL 2009, Corfu, Greece, September 27 - October 2, 2009. Proceedings, pp. 297-308, 2009, Springer, 978-3-642-04345-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 19th International Computer Software and Applications Conference (COMPSAC'95), August 9-11, 1995, Dallas, Texas, USA, pp. 50-55, 1995, IEEE Computer Society, 0-8186-7119-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Great Lakes Symposium on VLSI ![In: 5th Great Lakes Symposium on VLSI (GLS-VLSI '95), March 16-18, 1995, The State University of New York at Buffalo, USA, pp. 100-105, 1995, IEEE Computer Society, 0-8186-7035-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain, pp. 80-87, 2008, IEEE Computer Society, 978-0-7695-3102-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: The Eighth IEEE Computer Security Foundations Workshop (CSFW '95), March 13-15, 1995, Kenmare, County Kerry, Ireland, pp. 16-, 1995, IEEE Computer Society, 0-8186-7033-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1991, Papers from the 11th International Conference on Applications and Theory of Petri Nets, Paris, France, June 1990, pp. 93-117, 1990, Springer, 3-540-54398-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 560-563, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: The Eighth IEEE Computer Security Foundations Workshop (CSFW '95), March 13-15, 1995, Kenmare, County Kerry, Ireland, pp. 9-15, 1995, IEEE Computer Society, 0-8186-7033-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISW ![In: Information Security, Second International Workshop, ISW'99, Kuala Lumpur, Malaysia, November 1999, Proceedings, pp. 52-56, 1999, Springer, 3-540-66695-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 14th International Conference on Information Visualisation, IV 2010, 26-29 July 2010, London, UK, pp. 92-97, 2010, IEEE Computer Society, 978-0-7695-4165-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 41st Annual Symposium on Foundations of Computer Science, FOCS 2000, 12-14 November 2000, Redondo Beach, California, USA, pp. 537-546, 2000, IEEE Computer Society, 0-7695-0850-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 17(1), pp. 58-68, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DIM ![In: International Conference on Recent Advances in 3-D Digital Imaging and Modeling (3DIM '97), May 12-15, 1997, Ottawa, Ontario, Canada, pp. 335-338, 1997, IEEE Computer Society, 0-8186-7943-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A-MOST ![In: Proceedings of the 3rd Workshop on Advances in Model Based Testing, A-MOST 2007, co-located with the ISSTA 2007 International Symposium on Software Testing and Analysis, London, United Kingdom, July 9-12, pp. 12-22, 2007, ACM, 978-1-59593-850-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
security policy, automatic test generation, security properties |
25 | Eldar Fischer, Ilan Newman |
Testing of matrix properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings on 33rd Annual ACM Symposium on Theory of Computing, July 6-8, 2001, Heraklion, Crete, Greece, pp. 286-295, 2001, ACM, 1-58113-349-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. ![In: ACM Trans. Inf. Syst. 18(2), pp. 140-170, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPROX-RANDOM ![In: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009. Proceedings, pp. 504-519, 2009, Springer, 978-3-642-03684-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 84-91, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan, pp. 198-203, 2000, IEEE Computer Society, 0-7695-0887-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: Ninth IEEE Computer Security Foundations Workshop, March 10 - 12, 1996, Dromquinna Manor, Kenmare, County Kerry, Ireland, pp. 62-, 1996, IEEE Computer Society, 0-8186-7522-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), September 20-23, 1995, Las Vegas, Nevada, USA, pp. 250, 1995, IEEE Computer Society, 0-8186-7180-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(9), pp. 1076-1088, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 12(3), pp. 147-152, 1969. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, pp. 302-316, 2006, Springer, 3-540-48281-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Mark Gabel, Zhendong Su 0001 |
Online inference and enforcement of temporal properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (1) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 15-24, 2010, ACM, 978-1-60558-719-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (6) ![In: Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments, 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part II, pp. 3-12, 2009, Springer, 978-3-642-02709-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SESS ![In: Proceedings of the Fourth International Workshop on Software Engineering for Secure Systems, SESS 2008, Leipzig, Germany, May 17-18, 2008, pp. 33-40, 2008, ACM, 978-1-60558-042-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2001, 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001, Proceedings, pp. 110-120, 2001, Springer, 3-540-41695-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Hot Topics in Operating Systems ![In: Proceedings of The Seventh Workshop on Hot Topics in Operating Systems, HotOS-VII, Rio Rico, Arizona, USA, March 28-30, 1999, pp. 8-13, 1999, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 17(1), pp. 16-27, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (Selected Papers) ![In: Enterprise Information Systems, 9th International Conference, ICEIS 2007, Funchal, Madeira, Portugal, June 12-16, 2007, Revised Selected Papers, pp. 286-300, 2007, Springer, 978-3-540-88709-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 37th Annual ACM Symposium on Theory of Computing, Baltimore, MD, USA, May 22-24, 2005, pp. 128-137, 2005, ACM, 1-58113-960-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2009, Providence, Rhode Island, USA, June 29 - July 2, 2009, pp. 917-924, 2009, ACM, 978-1-60558-551-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiHoc ![In: Proceedings of the 9th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2008, Hong Kong, China, May 26-30, 2008, pp. 199-208, 2008, ACM, 978-1-60558-073-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HAPTICS ![In: 14th International Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (HAPTICS 2006), 25-26 March 2006, Arlington, VA, USA, Proceedings, pp. 30, 2006, IEEE Computer Society, 1-4244-0226-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 271-274, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 5th International Symposium on High Performance Distributed Computing (HPDC '96), Syracuse, NY, USA, August 6-9, 1996., pp. 374-382, 1996, IEEE Computer Society, 0-8186-7582-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 17(3), pp. 507-534, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 594-597, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(5), pp. 1543-1571, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(3), pp. 872-923, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
concurrent programming, safety properties, liveness properties |
23 | Martín Abadi, Leslie Lamport |
Composing Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 15(1), pp. 73-132, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1993, Los Angeles, California, USA, December 7-10, 1993, pp. 163-168, 1993, ACM, 978-0-89791-625-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 2(4), pp. 385-397, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings, pp. 618-639, 1991, Springer, 3-540-55564-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(11), pp. 1282-1292, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSE ![In: Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering, FMSE 2008, Alexandria, VA, USA, October 27, 2008, pp. 53-62, 2008, ACM, 978-1-60558-288-7. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|