|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 71 occurrences of 44 keywords
|
|
|
Results
Found 99 publication records. Showing 99 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
177 | Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst |
Object and reference immutability using java generics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 75-84, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
IGJ, const, java, generic, readonly, immutability |
159 | Igor Pechtchanski, Vivek Sarkar |
Immutability specification and its applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Grande ![In: Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, Seattle, Washington, USA, November 3-5, 2002, pp. 202-211, 2002, ACM, 1-58113-599-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
optimization, annotations, immutability |
140 | Matthew S. Tschantz, Michael D. Ernst |
Javari: adding reference immutability to Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 211-230, 2005, ACM, 1-59593-031-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Javari, Java, verification, type system, assignable, readonly, immutability, mutable |
122 | Adrian Birka, Michael D. Ernst |
A practical type system and language for reference immutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 35-49, 2004, ACM, 1-58113-831-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Javari, const, Java, verification, type system, readonly, immutability, mutable |
115 | Christian Haack, Erik Poll |
Type-Based Object Immutability with Flexible Initialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings, pp. 520-545, 2009, Springer, 978-3-642-03012-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
97 | K. Rustan M. Leino, Peter Müller 0001, Angela Wallenburg |
Flexible Immutability with Frozen Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings, pp. 192-208, 2008, Springer, 978-3-540-87872-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
86 | Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst |
Parameter reference immutability: formal definition, inference tool, and comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 16(1), pp. 145-192, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Reference immutability, Combined analysis, Definition, Readonly |
86 | Mahmood Ali, Yoav Zibin, Matthew M. Papi, Michael D. Ernst |
Enforcing reference and object immutability in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA, pp. 725-726, 2008, ACM, 978-1-60558-220-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
IGJ, java, verification, compiler, case study, type system, polymorphism, assignable, bug finding, flow-sensitive, readonly, immutability, mutable, javac |
79 | Yin Liu, Ana L. Milanova |
Ownership and Immutability Inference for UML-Based Object Access Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, pp. 323-332, 2007, IEEE Computer Society, 0-7695-2828-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
72 | Christian Haack, Erik Poll, Jan Schäfer, Aleksy Schubert |
Immutable Objects for a Java-Like Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 347-362, 2007, Springer, 978-3-540-71314-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
60 | Jaime Quinonez, Matthew S. Tschantz, Michael D. Ernst |
Inference of Reference Immutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings, pp. 616-641, 2008, Springer, 978-3-540-70591-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Telmo Luis Correa Jr., Jaime Quinonez, Michael D. Ernst |
Tools for enforcing and inferring reference immutability in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 866-867, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Javari, Java, verification, type system, assignable, side effects, readonly, immutability, mutable |
44 | Shay Artzi, Adam Kiezun, David Glasser, Michael D. Ernst |
Combined static and dynamic mutability analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 104-113, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
reference immutability, readonly |
44 | Charles Kindel |
COM: what makes it work, black-box encapsulation through multiple, immutable interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 1st International Enterprise Distributed Object Computing Conference (EDOC '97), 24-26 October 1997, Gold Coast, Australia, Proceedings, pp. 68-77, 1997, IEEE Computer Society, 0-8186-8031-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
commercial reality, black box-encapsulation, interface immutability, programming, multiple interfaces, component system, component object model, location transparency |
42 | Johan Östlund, Tobias Wrigstad, Dave Clarke 0001, Beatrice Åkerblom |
Ownership, Uniqueness, and Immutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (46) ![In: Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings, pp. 178-197, 2008, Springer, 978-3-540-69823-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Christopher A. Stein, Michael J. Tucker, Margo I. Seltzer |
Building a Reliable Mutable File System on Peer-to-Peer Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 21st Symposium on Reliable Distributed Systems (SRDS 2002), 13-16 October 2002, Osaka, Japan, pp. 324-329, 2002, IEEE Computer Society, 0-7695-1659-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
36 | Marina Biberstein, Joseph Gil, Sara Porat |
Sealing, Encapsulation, and Mutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2001 - Object-Oriented Programming, 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings, pp. 28-52, 2001, Springer, 3-540-42206-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Edward Lee, Ondrej Lhoták |
Simple Reference Immutability for System F. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(OOPSLA2), pp. 857-881, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Savas Takan |
Knowledge graph augmentation: consistency, immutability, reliability, and context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PeerJ Comput. Sci. ![In: PeerJ Comput. Sci. 9, pp. e1542, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Edward Lee, Ondrej Lhoták |
Simple Reference Immutability for System F-sub. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.04960, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Faisal Haque Bappy, Saklain Zaman, Tariqul Islam 0001, Redwan Ahmed Rizvee, Joon S. Park, Kamrul Hasan |
Towards Immutability: A Secure and Efficient Auditing Framework for Cloud Supporting Data Integrity and File Version Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.04453, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Tobias Runge, Marco Servetto, Alex Potanin, Ina Schaefer |
Immutability and Encapsulation for Sound OO Information Flow Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 45(1), pp. 3:1-3:35, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Tiago Guimarães, Ricardo Duarte, João Cunha, Pedro Silva, Manuel Filipe Santos |
The Role of Blockchain Technology in Ensuring Security and Immutability of Open Data in Healthcare. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BLOCKCHAIN ![In: Blockchain and Applications, 5th International Congress, BLOCKCHAIN 2023, Guimaraes, Portugal, 12-14 July 2023., pp. 317-327, 2023, Springer, 978-3-031-45154-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Faisal Haque Bappy, Saklain Zaman, Tariqul Islam 0001, Redwan Ahmed Rizvee, Joon S. Park, Kamrul Hasan |
Towards Immutability: A Secure and Efficient Auditing Framework for Cloud Supporting Data Integrity and File Version Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM ![In: IEEE Global Communications Conference, GLOBECOM 2023, Kuala Lumpur, Malaysia, December 4-8, 2023, pp. 6801-6806, 2023, IEEE, 979-8-3503-1090-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Tiago Guimarães, Ricardo Duarte, João Cunha, Paulo Gomes, Manuel Filipe Santos |
Security and Immutability of Open Data in Healthcare. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANT/EDI40 ![In: The 14th International Conference on Ambient Systems, Networks and Technologies (ANT 2023) / The 6th International Conference on Emerging Data and Industry 4.0 (EDI40 2023) / Affiliated Workshops, March 15-17, 2023, Leuven, Belgium, pp. 832-837, 2023, Elsevier. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Hakan Altas, Gökhan Dalkiliç, Umut Can Çabuk |
Data immutability and event management via blockchain in the Internet of things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turkish J. Electr. Eng. Comput. Sci. ![In: Turkish J. Electr. Eng. Comput. Sci. 30(2), pp. 451-468, February 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Sandra Wachter |
The Theory of Artificial Immutability: Protecting Algorithmic Groups Under Anti-Discrimination Law. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.01166, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Xiaoming Li, Huigang Liang |
Blockchain solution benefits for controlling pandemics: Bottom-up decentralization, automation with real-time update, and immutability with privacy preservation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. Eng. ![In: Comput. Ind. Eng. 172(Part), pp. 108602, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Valerio Mandarino, Giuseppe Pappalardo, Emiliano Tramontana |
Some Blockchain Design Patterns for Overcoming Immutability, Chain-Boundedness, and Gas Fees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACCC ![In: 3rd Asia Conference on Computers and Communications, ACCC 2022, Shanghai, China, December 16-18, 2022, pp. 65-71, 2022, IEEE, 979-8-3503-3295-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Tobias Roth, Dominik Helm, Michael Reif, Mira Mezini |
CiFi: Versatile Analysis of Class and Field Immutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell., pp. 81-82, 2022, Gesellschaft für Informatik e.V., 978-3-88579-714-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Hrvoje Stancic, Vladimir Bralic |
Digital Archives Relying on Blockchain: Overcoming the Limitations of Data Immutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. ![In: Comput. 10(8), pp. 91, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Seamus Brady |
Immutability and Design Patterns in Ruby. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.00379, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Ali Dorri, Fengji Luo, Samuel Karumba, Salil S. Kanhere, Raja Jurdak, Zhao Yang Dong |
Temporary immutability: A removable blockchain solution for prosumer-side energy trading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Netw. Comput. Appl. ![In: J. Netw. Comput. Appl. 180, pp. 103018, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Vinícius Lima 0001, Filipe Andrade Bernardi, Rui Rijo, Jó Ueyama, Domingos Alves |
A Mechanism for Verifying the Integrity and Immutability of Tuberculosis Data Using IOTA Distributed Ledger Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
dHealth ![In: Navigating Healthcare Through Challenging Times - Proceedings of dHealth 2021 - Health Informatics Meets Digital Health, Virtual Conference, May 11-12, 2021, pp. 130-135, 2021, IOS Press, 978-1-64368-180-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Tamás Borbély, Árpád János Wild, Balázs Pintér, Tibor Gregorics |
Using Machine Learning to Identify Methods Violating Immutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAI (2) ![In: Intelligent Computing - Proceedings of the 2021 Computing Conference, Volume 2, SAI 2021, Virtual Event, 15-16 July, 2021., pp. 453-462, 2021, Springer, 978-3-030-80125-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Tobias Roth, Dominik Helm, Michael Reif, Mira Mezini |
CiFi: Versatile Analysis of Class and Field Immutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021, pp. 979-990, 2021, IEEE, 978-1-6654-0337-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Fran Casino, Eugenia A. Politou, Efthimios Alepis, Constantinos Patsakis |
Immutability and Decentralized Storage: An Analysis of Emerging Threats. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 4737-4744, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Bernard Wyrwol |
Implementation of the FATI hierarchical fuzzy inference system using the immutability decomposition method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 381, pp. 105-123, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Sören Wallbach, Roland Lehner, Konstantin Roethke, Ralf Elbert, Alexander Benlian |
Trust-Building Effects of Blockchain Features - An Empirical Analysis of Immutability, Traceability and Anonymity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIS ![In: 28th European Conference on Information Systems - Liberty, Equality, and Fraternity in a Digitizing World, ECIS 2020, Marrakech, Morocco, June 15-17, 2020, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Yegor Bugayenko 0001, Sergey V. Zykov |
The Impact of Object Immutability on the Java Class Size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, Virtual Event, 16-18 September 2020., pp. 1868-1872, 2020, Elsevier. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Ivan A. Tarkhanov, Denis V. Fomin-Nilov, Michael V. Fomin |
Application of public blockchain to control the immutability of data in online scientific periodicals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Libr. Hi Tech ![In: Libr. Hi Tech 37(4), pp. 829-844, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Paola Giannini, Marco Servetto, Elena Zucca, James Cone |
Flexible recovery of uniqueness and immutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 764, pp. 145-172, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Usman Tariq, Atef Ibrahim, Tariq Ahmad 0001, Yassine Bouteraa, Ahmed M. Elmogy |
Blockchain in internet-of-things: a necessity framework for security, reliability, transparency, immutability and liability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Commun. ![In: IET Commun. 13(19), pp. 3187-3192, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Pat Helland |
The I's Have It: Identity, Immutability, Idempotence, and Interchangeability Form the Backbone of Distributed Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIDR ![In: 9th Biennial Conference on Innovative Data Systems Research, CIDR 2019, Asilomar, CA, USA, January 13-16, 2019, Online Proceedings, 2019, www.cidrdb.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
24 | Jonathan Eyolfson, Patrick Lam 0001 |
How C++ developers use immutability declarations: an empirical study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019, pp. 362-372, 2019, IEEE / ACM, 978-1-7281-0869-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Gowri Sankar Ramachandran, Kwame-Lante Wright, Bhaskar Krishnamachari |
Trinity: A Distributed Publish/Subscribe Broker with Blockchain-based Immutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1807.03110, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
24 | Ernst-Georg Schmid |
Right to Sign: Safeguarding data immutability in blockchain systems with cryptographic signatures over a broad range of available consensus finding scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1811.05284, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
24 | Paola Giannini, Marco Servetto, Elena Zucca, James Cone |
Flexible recovery of uniqueness and immutability (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1807.00137, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
24 | Paola Giannini, Marco Servetto, Elena Zucca |
A type and effect system for uniqueness and immutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018, pp. 1038-1045, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Hyong S. Kim, Ke Wang |
Immutability Measure for Different Blockchain Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sarnoff Symposium ![In: 39th IEEE Sarnoff Symposium 2018, Newark, NJ, USA, September 24-25, 2018, pp. 1-6, 2018, IEEE, 978-1-5386-6154-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Jonathan Eyolfson |
Enforcing Abstract Immutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
24 | Philipp Haller, Ludvig Axelsson |
Quantifying and Explaining Immutability in Scala. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES@ETAPS ![In: Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2017, Uppsala, Sweden, 29th April 2017., pp. 21-27, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Benjamin Holland, Ganesh Ram Santhanam, Suresh C. Kothari |
Transferring State-of-the-Art Immutability Analyses: Experimentation Toolbox and Accuracy Benchmark. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017, pp. 484-491, 2017, IEEE Computer Society, 978-1-5090-6031-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Nitesh Emmadi, Harika Narumanchi |
Reinforcing Immutability of Permissioned Blockchains with Keyless Signatures' Infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCN ![In: Proceedings of the 18th International Conference on Distributed Computing and Networking, Hyderabad, India, January 5-7, 2017, pp. 46, 2017, ACM, 978-1-4503-4839-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
24 | Sam Weber, Michael J. Coblenz, Brad A. Myers, Jonathan Aldrich, Joshua Sunshine |
Empirical Studies on the Security and Usability Impact of Immutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecDev ![In: IEEE Cybersecurity Development, SecDev 2017, Cambridge, MA, USA, September 24-26, 2017, pp. 50-53, 2017, IEEE Computer Society, 978-1-5386-3467-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Frank Hofmann, Simone Wurster, Eyal Ron, Moritz Bohmecke-Schwafert |
The immutability concept of blockchains and benefits of early standardization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kaleidoscope ![In: 2017 ITU Kaleidoscope: Challenges for a Data-Driven Society, Nanjing, China, November 27-29, 2017, pp. 1-8, 2017, IEEE, 978-9-2612-4281-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Michael Fröwis, Rainer Böhme |
In Code We Trust? - Measuring the Control Flow Immutability of All Smart Contracts Deployed on Ethereum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DPM/CBT@ESORICS ![In: Data Privacy Management, Cryptocurrencies and Blockchain Technology - ESORICS 2017 International Workshops, DPM 2017 and CBT 2017, Oslo, Norway, September 14-15, 2017, Proceedings, pp. 357-372, 2017, Springer, 978-3-319-67815-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Michael J. Coblenz, Whitney Nelson, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine |
Glacier: transitive class immutability for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017, pp. 496-506, 2017, IEEE / ACM, 978-1-5386-3868-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | David W. Kravitz |
Transaction Immutability and Reputation Traceability: Blockchain as a Platform for Access Controlled IoT and Human Interactivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PST ![In: 15th Annual Conference on Privacy, Security and Trust, PST 2017, Calgary, AB, Canada, August 28-30, 2017, pp. 3-14, 2017, IEEE Computer Society, 978-1-5386-2487-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Jon Eyolfson, Patrick Lam 0001 |
C++ const and Immutability: An Empirical Study of Writes-Through-const (Artifact). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Artifacts Ser. ![In: Dagstuhl Artifacts Ser. 2(1), pp. 03:1-03:2, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Oliver Haase |
Abstract Interpretation of Java Bytecode for Immutability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. ![In: J. Comput. Sci. 12(7), pp. 314-322, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Pat Helland |
Immutability changes everything. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 59(1), pp. 64-70, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Ana L. Milanova, Yao Dong 0001 |
Inference and Checking of Object Immutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Lugano, Switzerland, August 29 - September 2, 2016, pp. 6:1-6:12, 2016, ACM, 978-1-4503-4135-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Jon Eyolfson, Patrick Lam 0001 |
C++ const and Immutability: An Empirical Study of Writes-Through-const. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy, pp. 8:1-8:25, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-014-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Paola Giannini, Marco Servetto, Elena Zucca |
Types for Immutability and Aliasing Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 17th Italian Conference on Theoretical Computer Science, Lecce, Italy, September 7-9, 2016., pp. 62-74, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
24 | Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers, Sam Weber, Forrest Shull |
Exploring language support for immutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016, pp. 736-747, 2016, ACM, 978-1-4503-3900-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Pat Helland |
Immutability Changes Everything. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Queue ![In: ACM Queue 13(9), pp. 40, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Michael J. Coblenz, Joshua Sunshine, Brad A. Myers, Sam Weber, Forrest Shull |
Comparing transitive to non-transitive object immutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLATEAU@SPLASH ![In: Proceedings of the 6th Workshop on Evaluation and Usability of Programming Languages and Tools, PLATEAU@SPLASH 2015, Pittsburgh, PA, USA, October 26, 2015, pp. 47-48, 2015, ACM, 978-1-4503-3907-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Pat Helland |
Immutability Changes Everything. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIDR ![In: Seventh Biennial Conference on Innovative Data Systems Research, CIDR 2015, Asilomar, CA, USA, January 4-7, 2015, Online Proceedings, 2015, www.cidrdb.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
24 | Andreea Costea, Asankhaya Sharma, Cristina David |
HIPimm: verifying granular immutability guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, pp. 189-194, 2014, ACM, 978-1-4503-2619-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Alex Potanin, Johan Östlund, Yoav Zibin, Michael D. Ernst |
Immutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aliasing in Object-Oriented Programming ![In: Aliasing in Object-Oriented Programming. Types, Analysis and Verification, pp. 233-269, 2013, Springer, 978-3-642-36945-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Ana L. Milanova, Wei Huang 0001 |
Composing polymorphic information flow systems with reference immutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, FTfJP 2013, Montpellier, France, July 1, 2013, pp. 5:1-5:7, 2013, ACM, 978-1-4503-2042-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Wei Huang 0001, Ana L. Milanova, Werner Dietl, Michael D. Ernst |
Reim & ReImInfer: checking and inference of reference immutability and method purity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, October 21-25, 2012, pp. 879-896, 2012, ACM, 978-1-4503-1561-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Colin S. Gordon, Matthew J. Parkinson, Jared Parsons, Aleks Bromfield, Joe Duffy |
Uniqueness and reference immutability for safe parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, October 21-25, 2012, pp. 21-40, 2012, ACM, 978-1-4503-1561-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Julian Mackay, Hannes Mehnert, Alex Potanin, Lindsay Groves, Nicholas Cameron 0001 |
Encoding Featherweight Java with assignment and immutability using the Coq proof assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, FTfJP 2012, Beijing, China, June 12, 2012, pp. 11-19, 2012, ACM, 978-1-4503-1272-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Fredrik Kjolstad, Danny Dig, Gabriel Acevedo, Marc Snir |
Transformation for class immutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011, pp. 61-70, 2011, ACM, 978-1-4503-0445-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Yoav Zibin, Alex Potanin, Paley Li, Mahmood Ali, Michael D. Ernst |
Ownership and immutability in generic Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA, pp. 598-617, 2010, ACM, 978-1-4503-0203-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Igor Pechtchanski, Vivek Sarkar |
Immutability specification and its applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Pract. Exp. ![In: Concurr. Pract. Exp. 17(5-6), pp. 639-662, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Katrin Jonsson, Jonny Holmström |
Ubiquitous Computing and the Double Immutability of Remote Diagnostics Technology: An Exploration into Six Cases of Remote Diagnostics Technology Use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Designing Ubiquitous Information Environments ![In: Designing Ubiquitous Information Environments: Socio-Technical Issues and Challenges - IFIP TC8 WG 8.2 International Working Conference, August 1-3, 2005, Cleveland, Ohio, USA, pp. 153-167, 2005, Springer, 978-0-387-27560-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Einar Mykletun, Maithili Narasimha, Gene Tsudik |
Signature Bouquets: Immutability for Aggregated/Condensed Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2004, pp. 91, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
24 | Einar Mykletun, Maithili Narasimha, Gene Tsudik |
Signature Bouquets: Immutability for Aggregated/Condensed Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2004, 9th European Symposium on Research Computer Security, Sophia Antipolis, France, September 13-15, 2004, Proceedings, pp. 160-176, 2004, Springer, 3-540-22987-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Tom Head |
Deciding the Immutability of Regular Codes and Languages Under Finite Transductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 31(5), pp. 239-241, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Renato M. Capocelli, Luisa Gargano, Ugo Vaccaro |
An efficient algorithm for testing immutability of variable-length codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 35(6), pp. 1310-1314, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Ernst L. Leiss |
On testing for immutability of codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 33(6), pp. 934-938, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
18 | Di Ma, Gene Tsudik |
A new approach to secure logging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Storage ![In: ACM Trans. Storage 5(1), pp. 2:1-2:21, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Secure logging, forward secure sequential aggregate (FssAgg) authentication, forward-secure stream integrity, MACs, signatures, truncation attack |
18 | Yin Liu, Ana L. Milanova |
Practical static analysis for inference of security-related program properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPC ![In: The 17th IEEE International Conference on Program Comprehension, ICPC 2009, Vancouver, British Columbia, Canada, May 17-19, 2009, pp. 50-59, 2009, IEEE Computer Society, 978-1-4244-3998-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Christina Brzuska, Marc Fischlin, Tobias Freudenreich, Anja Lehmann, Marcus Page, Jakob Schelbert, Dominique Schröder, Florian Volk |
Security of Sanitizable Signatures Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography ![In: Public Key Cryptography - PKC 2009, 12th International Conference on Practice and Theory in Public Key Cryptography, Irvine, CA, USA, March 18-20, 2009. Proceedings, pp. 317-336, 2009, Springer, 978-3-642-00467-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Ian Rogers, Jisheng Zhao, Chris C. Kirkham, Ian Watson |
Constraint based optimization of stationary fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, PPPJ 2008, Modena, Italy, September 9-11, 2008, pp. 95-104, 2008, ACM, 978-1-60558-223-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Kevin R. B. Butler, Stephen E. McLaughlin, Patrick D. McDaniel |
Rootkit-resistant disks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2008 ACM Conference on Computer and Communications Security, CCS 2008, Alexandria, Virginia, USA, October 27-31, 2008, pp. 403-416, 2008, ACM, 978-1-59593-810-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
security, storage, labels, rootkits |
18 | Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smith 0001 |
Sound and Complete Type Inference for a Systems Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings, pp. 290-306, 2008, Springer, 978-3-540-89329-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Sergey Bratus, Nihal D'Cunha, Evan R. Sparks, Sean W. Smith |
TOCTOU, Traps, and Trusted Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRUST ![In: Trusted Computing - Challenges and Applications, First International Conference on Trusted Computing and Trust in Information Technologies, Trust 2008, Villach, Austria, March 11-12, 2008, Proceedings, pp. 14-32, 2008, Springer, 978-3-540-68978-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Meihua Wang, Kefeng Fan, Qingqi Pei, Shuguang Wang, Shan Cao |
A Novel Digital Content Protection System Based on Iris Biometric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (4) ![In: Fourth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007, 24-27 August 2007, Haikou, Hainan, China, Proceedings, Volume 4, pp. 221-225, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Frank Kargl, Stefan Schlott, Michael Weber 0001 |
Identification in Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), CD-ROM / Abstracts Proceedings, 4-7 January 2006, Kauai, HI, USA, 2006, IEEE Computer Society, 0-7695-2507-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Joseph Gil, Itay Maman |
Micro patterns in Java code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 97-116, 2005, ACM, 1-59593-031-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
implementation patterns, object-oriented programming, design patterns, program analysis |
18 | Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen |
Verifying safety policies with size properties and alias controls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pp. 186-195, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
alias control, object-based programs, size properties, dependent types, safety verification |
18 | P. Krishna Gummadi, Richard J. Dunn, Stefan Saroiu, Steven D. Gribble, Henry M. Levy, John Zahorjan |
Measurement, modeling, and analysis of a peer-to-peer file-sharing workload. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, SOSP 2003, Bolton Landing, NY, USA, October 19-22, 2003, pp. 314-329, 2003, ACM, 1-58113-757-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
multimedia workloads, modeling, peer-to-peer, measurement, Zipf's law |
18 | Yang-Koo Kang, Moon-Hyun Kim |
Real-Time Fingerprints Recognition Mechanism-Based on Digital Contents Protection System for Interaction on Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 17-19 December 2001, Seoul, Korea, pp. 304-310, 2001, IEEE Computer Society, 0-7695-1414-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Digital Contents protection, Digital Rights Providers, Fingerprint Recognition Mechanism, DRM |
18 | L. McClaren |
Manuals that meet market demands. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 7th Annual International Conference on Systems Documentation, SIGDOC 1989, Pittsburgh, Pennsylvania, USA, November 8-10, 1989, pp. 103-107, 1989, ACM, 0-89791-337-X. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
18 | Colin Low |
A Shared, Persistent Object Store. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'88 European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988, Proceedings, pp. 390-410, 1988, Springer, 3-540-50053-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
immutable objects, distributed systems, object-oriented programming, persistence, Smalltalk-80, atomic transactions |
Displaying result #1 - #99 of 99 (100 per page; Change: )
|
|