|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 78 occurrences of 52 keywords
|
|
|
Results
Found 70 publication records. Showing 70 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
81 | Swaroop Sridhar, Jonathan S. Shapiro |
Type inference for unboxed types and first class mutability. |
PLOS |
2006 |
DBLP DOI BibTeX RDF |
BitC, polymorphism, type inference, mutability |
79 | Aiwu Shi, Gleb Naumovich |
Improving Data Integrity with a Java Mutability Analysis. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
62 | Ben Lippmeier |
Witnessing Purity, Constancy and Mutability. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
52 | Christopher A. Stein, Michael J. Tucker, Margo I. Seltzer |
Building a Reliable Mutable File System on Peer-to-Peer Storage. |
SRDS |
2002 |
DBLP DOI BibTeX RDF |
|
52 | Ladislau Bölöni, Dan C. Marinescu |
Agent Surgery: The Case for Mutable Agents. |
IPDPS Workshops |
2000 |
DBLP DOI BibTeX RDF |
|
45 | Shay Artzi, Adam Kiezun, David Glasser, Michael D. Ernst |
Combined static and dynamic mutability analysis. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
reference immutability, readonly |
45 | Aiwu Shi, Gleb Naumovich |
Static Analysis for Computing Escapability and Mutability for Java Components. |
SCAM |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smith 0001 |
Sound and Complete Type Inference for a Systems Programming Language. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Matthew S. Tschantz, Michael D. Ernst |
Javari: adding reference immutability to Java. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
Javari, Java, verification, type system, assignable, readonly, immutability, mutable |
35 | Jaehong Park, Ravi S. Sandhu |
The UCONABC usage control model. |
ACM Trans. Inf. Syst. Secur. |
2004 |
DBLP DOI BibTeX RDF |
privacy, access control, trust, digital rights management, usage control |
35 | Ladislau Bölöni, Majid Ali Khan, Xin Bai 0001, Guoqiang Wang 0002, Yongchang Ji, Dan C. Marinescu |
Software Engineering Challenges for Mutable Agent Systems. |
SELMAS |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Ravi S. Sandhu, Jaehong Park |
Usage Control: A Vision for Next Generation Access Control. |
MMM-ACNS |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Sara Porat, Marina Biberstein, Larry Koved, Bilha Mendelson |
Automatic detection of immutable fields in Java. |
CASCON |
2000 |
DBLP BibTeX RDF |
Java |
28 | Denisse Pastén, Eugenio E. Vogel, Gonzalo Saravia, Antonio Posadas, Oscar Sotolongo |
Tsallis Entropy and Mutability to Characterize Seismic Sequences: The Case of 2007-2014 Northern Chile Earthquakes. |
Entropy |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Brandon Bennett |
Copredication and Ontological Mutability. |
KoDis+CAKR@KR |
2023 |
DBLP BibTeX RDF |
|
28 | Cristiano Fanelli, James Giroux, Z. Papandreou |
"Flux+Mutability": A Conditional Generative Approach to One-Class Classification and Anomaly Detection. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Cristiano Fanelli, James Giroux, Z. Papandreou |
'Flux+Mutability': a conditional generative approach to one-class classification and anomaly detection. |
Mach. Learn. Sci. Technol. |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Pedram Salimi |
Addressing Trust and Mutability Issues in XAI utilising Case Based Reasoning. |
ICCBR Doctoral Consortium |
2022 |
DBLP BibTeX RDF |
|
28 | Stefano Guidi, Latisha Boor, Laura van der Bij, Robin Foppen, Okke Rikmenspoel, Giulia Perugia |
Ambivalent Stereotypes Towards Gendered Robots: The (Im)mutability of Bias Towards Female and Neutral Robots. |
ICSR (2) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Eugenia A. Politou, Fran Casino, Efthimios Alepis, Constantinos Patsakis |
Blockchain Mutability: Challenges and Proposed Solutions. |
IEEE Trans. Emerg. Top. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Erik Daniel, Florian Tschorsch |
Towards Verifiable Mutability for Blockchains. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
28 | Erik Daniel, Florian Tschorsch |
Poster: Towards Verifiable Mutability for Blockchains. |
EuroS&P |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Viachaslau Tsyvina, Alex Zelikovsky, Sagi Snir, Pavel Skums |
Inference of mutability landscapes of tumors from single cell sequencing data. |
PLoS Comput. Biol. |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Vlastimil Dort, Ondrej Lhoták |
Reference Mutability for DOT. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Andy Keep |
Workshop: Mixing Mutability into the Nanopass Framework (ELS invited workshop). |
ELS |
2020 |
DBLP BibTeX RDF |
|
28 | Eugenia A. Politou, Fran Casino, Efthimios Alepis, Constantinos Patsakis |
Blockchain Mutability: Challenges and Proposed Solutions. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
28 | |
Correction: Effects of Darwinian Selection and Mutability on Rate of Broadly Neutralizing Antibody Evolution during HIV-1 Infection. |
PLoS Comput. Biol. |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Daniel C. King, Dedre Gentner |
Polysemy and Verb Mutability: Differing Processes of Semantic Adjustment for Verbs and Nouns. |
CogSci |
2019 |
DBLP BibTeX RDF |
|
28 | Ana L. Milanova, Wei Huang 0001 |
Definite Reference Mutability (Artifact). |
Dagstuhl Artifacts Ser. |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Oscar A. Negrete, Patricio Vargas, Francisco José Peña, Gonzalo Saravia, Eugenio E. Vogel |
Entropy and Mutability for the q-State Clock Model in Small Systems. |
Entropy |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Ana L. Milanova |
Definite Reference Mutability. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Najmeh Hafezieh, John Amis |
Emergence and Mutability of Social Media Work Practices in Organisational Context. |
ICIS |
2017 |
DBLP BibTeX RDF |
|
28 | Zizhang Sheng, Chaim A. Schramm, Mark Connors, Lynn Morris, John R. Mascola, Peter D. Kwong, Lawrence Shapiro |
Effects of Darwinian Selection and Mutability on Rate of Broadly Neutralizing Antibody Evolution during HIV-1 Infection. |
PLoS Comput. Biol. |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Dimitrios Bountouridis, Hendrik Vincent Koops, Frans Wiering, Remco C. Veltkamp |
A data-driven approach to chord similarity and chord mutability. |
BigMM |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Lauri Wessel, Jens Poeppelbuss, Matthias Goeken |
Exploring the Implications of Emergence for Artifact Mutability in Design Theory. |
ICIS |
2016 |
DBLP BibTeX RDF |
|
28 | Jens Pöppelbuß, Matthias Goeken |
Understanding the Elusive Black Box of Artifact Mutability. (PDF / PS) |
Wirtschaftsinformatik |
2015 |
DBLP BibTeX RDF |
|
28 | Cristian Coarfa, Christina Pichot, Andrew R. Jackson, Arpit Tandon, Viren Amin, Sriram Raghuraman, Sameer Paithankar, Adrian V. Lee, Sean E. McGuire, Aleksandar Milosavljevic |
Analysis of interactions between the epigenome and structural mutability of the genome using Genboree workbench tools. |
BMC Bioinform. |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Maha Shaikh |
Mutability and Becoming: Materializing of Public Sector Adoption of Open Source Software. |
Shaping the Future of ICT Research |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Christos Grompanopoulos, Ioannis Mavridis |
Towards Differentiated Utilization of Attribute Mutability for Access Control in Ubiquitous Computing. |
Panhellenic Conference on Informatics |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Jaehong Park, Xinwen Zhang, Ravi S. Sandhu |
Attribute Mutability in Usage Control. |
DBSec |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Dene Grigar |
Mutability, Medium, and Character. |
Comput. Humanit. |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Tim D. Moreton, Ian A. Pratt, Timothy L. Harris |
Storage, Mutability and Naming in Pasta. |
NETWORKING Workshops |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Marina Biberstein, Joseph Gil, Sara Porat |
Sealing, Encapsulation, and Mutability. |
ECOOP |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Marlene Manoff |
Hybridity, Mutability, Multiplicity: Theorizing Electronic Library Collections. |
Libr. Trends |
2000 |
DBLP BibTeX RDF |
|
17 | Todd A. Anderson 0001 |
Optimizations in a private nursery-based garbage collector. |
ISMM |
2010 |
DBLP DOI BibTeX RDF |
garbage collection, functional languages |
17 | Matt Billings, Leon Adam Watts |
Understanding dispute resolution online: using text to reflect personal and substantive issues in conflict. |
CHI |
2010 |
DBLP DOI BibTeX RDF |
computer-mediated communication, wikipedia, virtual communities, conflict, online dispute resolution |
17 | Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst |
Parameter reference immutability: formal definition, inference tool, and comparison. |
Autom. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Reference immutability, Combined analysis, Definition, Readonly |
17 | Xinwen Zhang, Masayuki Nakae, Michael J. Covington, Ravi S. Sandhu |
Toward a Usage-Based Security Framework for Collaborative Computing Systems. |
ACM Trans. Inf. Syst. Secur. |
2008 |
DBLP DOI BibTeX RDF |
access control, Authorization, security architecture, collaborative computing, usage control, UCON |
17 | Xing Wan, Lei Huang |
Research on e-Commerce Application Architecture Based on the Integration of Workflow and Agile Service. |
ISECS |
2008 |
DBLP DOI BibTeX RDF |
Integration of Workflow and Agile Service, e-Commerce Application Architecture, REST |
17 | Chong Wang, Zhile Zou, Qian Ma, Ru Fang, Hao Wang |
A comprehensive semantic-based resource allocation framework for workflow management systems. |
NOMS |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Aniket Kittur, Bongwon Suh, Ed H. Chi |
Can you ever trust a wiki?: impacting perceived trustworthiness in wikipedia. |
CSCW |
2008 |
DBLP DOI BibTeX RDF |
visualization, collaboration, trust, stability, wiki, wikipedia, social computing |
17 | Basel Katt, Xinwen Zhang, Ruth Breu, Michael Hafner, Jean-Pierre Seifert |
A general obligation model and continuity: enhanced policy enforcement engine for usage control. |
SACMAT |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Jamie Zigelbaum, Adam Kumpf, Alejandro Vazquez, Hiroshi Ishii 0001 |
Slurp: tangibility spatiality and an eyedropper. |
CHI Extended Abstracts |
2008 |
DBLP DOI BibTeX RDF |
slurp, tui, ubiquitous computing, tangible user interface, locative media |
17 | Min Chew Lim, Tele Tan, Andrew Hutchison, Ling Li, Mihai M. Lazarescu |
Chameleon art: a platform for interactive art production. |
DIMEA |
2007 |
DBLP DOI BibTeX RDF |
computer vision, interactive art, graphical interface, plug-ins |
17 | Bradley R. Quinton, Steven J. E. Wilton |
Embedded Programmable Logic Core Enhancements for System Bus Interfaces. |
FPL |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Helge Janicke, Antonio Cau, Hussein Zedan |
A note on the formalisation of UCON. |
SACMAT |
2007 |
DBLP DOI BibTeX RDF |
access control, formal specification, security policy, usage control |
17 | Min Xu, Xuxian Jiang, Ravi S. Sandhu, Xinwen Zhang |
Towards a VMM-based usage control framework for OS kernel integrity protection. |
SACMAT |
2007 |
DBLP DOI BibTeX RDF |
kernel integrity, operating system protection, access control, authorization, security architecture, usage control, VMM, UCON |
17 | Gert Zülch, Thilo Gamber, Patricia Stock |
Methodology for the Analysis of Simulation-based Decision-making in the Manufacturing Area. |
APMS |
2007 |
DBLP DOI BibTeX RDF |
production planning and control, decision-making system, personnel-oriented simulation |
17 | Fuchun Guo, Yi Mu 0001, Zhide Chen |
Mutative Identity-Based Signatures or Dynamic Credentials Without Random Oracles. |
CANS |
2007 |
DBLP DOI BibTeX RDF |
Mutative Identity, ID-based Signature |
17 | Xinwen Zhang, Ravi S. Sandhu, Francesco Parisi-Presicce |
Safety analysis of usage control authorization models. |
AsiaCCS |
2006 |
DBLP DOI BibTeX RDF |
access control, authorization, safety, usage control, UCON |
17 | Joshua J. Bloch |
How to design a good API and why it matters. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Xinwen Zhang, Francesco Parisi-Presicce, Ravi S. Sandhu, Jaehong Park |
Formal model and policy specification of usage control. |
ACM Trans. Inf. Syst. Secur. |
2005 |
DBLP DOI BibTeX RDF |
Access control, formal specification, security policy, usage control |
17 | Galen S. Swint, Calton Pu, Gueyoung Jung, Wenchang Yan, Younggyun Koh, Qinyi Wu, Charles Consel, Akhil Sahai, Koichi Moriyama |
Clearwater: extensible, flexible, modular code generation. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
AXpect, ISG, clearwater, infopipes, code generation, DSL |
17 | Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen |
Verifying safety policies with size properties and alias controls. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
alias control, object-based programs, size properties, dependent types, safety verification |
17 | Xinwen Zhang, Jaehong Park, Francesco Parisi-Presicce, Ravi S. Sandhu |
A logical specification for usage control. |
SACMAT |
2004 |
DBLP DOI BibTeX RDF |
logic specification, access control, security policy, usage control |
17 | Nicolas Juillerat, Béat Hirsbrunner |
FOOD: An Agent-Oriented Dataflow Model. |
ICAISC |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Mohamed F. Mokbel |
Continuous Query Processing in Spatio-Temporal Databases. |
EDBT Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Zoltan Somogyi, Peter J. Stuckey |
Using the heap to eliminate stack accesses. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
heap cells, stack accesses, stack frames, maximal matching |
17 | Don S. Batory, Bart J. Geraci |
Composition Validation and Subjectivity in GenVoca Generators. |
IEEE Trans. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
composition validation, design rule checking, subjectivity, software generators, GenVoca |
17 | Israel Ben-Shaul, Avron Cohen, Ophir Holder, Boris Lavva |
HADAS: A Network-Centric Framework for Interoperability Programming. |
CoopIS |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #70 of 70 (100 per page; Change: )
|
|