Search results for "mutability"

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