|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS ![In: Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, PLOS 2006, San Jose, California, USA, October 22, 2006, pp. 7, 2006, ACM, 1-59593-577-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
BitC, polymorphism, type inference, mutability |
79 | Aiwu Shi, Gleb Naumovich |
Improving Data Integrity with a Java Mutability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan, pp. 135-142, 2007, IEEE Computer Society, 0-7695-3057-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
62 | Ben Lippmeier |
Witnessing Purity, Constancy and Mutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings, pp. 95-110, 2009, Springer, 978-3-642-10671-2. The full citation details ...](Pics/full.jpeg) |
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. ![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 |
|
52 | Ladislau Bölöni, Dan C. Marinescu |
Agent Surgery: The Case for Mutable Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Workshops ![In: Parallel and Distributed Processing, 15 IPDPS 2000 Workshops, Cancun, Mexico, May 1-5, 2000, Proceedings, pp. 578-585, 2000, Springer, 3-540-67442-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
45 | 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 |
45 | Aiwu Shi, Gleb Naumovich |
Static Analysis for Computing Escapability and Mutability for Java Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2005), 30 September - 1 October 2005, Budapest, Hungary, pp. 119-128, 2005, IEEE Computer Society, 0-7695-2290-4. The full citation details ...](Pics/full.jpeg) |
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. ![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 |
|
35 | 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 |
35 | Jaehong Park, Ravi S. Sandhu |
The UCONABC usage control model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. Secur. ![In: ACM Trans. Inf. Syst. Secur. 7(1), pp. 128-174, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SELMAS ![In: Software Engineering for Multi-Agent Systems II, Research Issues and Practical Applications [the book is a result of SELMAS 2003], pp. 149-166, 2003, Springer, 3-540-21182-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Ravi S. Sandhu, Jaehong Park |
Usage Control: A Vision for Next Generation Access Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMM-ACNS ![In: Computer Network Security, Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003, Proceedings, pp. 17-31, 2003, Springer, 3-540-40797-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Sara Porat, Marina Biberstein, Larry Koved, Bilha Mendelson |
Automatic detection of immutable fields in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative Research, November 13-16, 2000, Mississauga, Ontario, Canada, pp. 10, 2000, IBM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 25(10), pp. 1417, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Brandon Bennett |
Copredication and Ontological Mutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KoDis+CAKR@KR ![In: Joint Proceedings of the 2nd Workshop on Knowledge Diversity and the 2nd Workshop on Cognitive Aspects of Knowledge Representation co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023), Rhodes, Greece, September 3-4, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
28 | Cristiano Fanelli, James Giroux, Z. Papandreou |
"Flux+Mutability": A Conditional Generative Approach to One-Class Classification and Anomaly Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.08609, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. Sci. Technol. ![In: Mach. Learn. Sci. Technol. 3(4), pp. 45012, December 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Pedram Salimi |
Addressing Trust and Mutability Issues in XAI utilising Case Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBR Doctoral Consortium ![In: Doctoral Consortium Proceedings of the 30th International Conference on Case-Based Reasoning co-located with the 30th International Conference on Case-Based Reasoning (ICCBR 2022), Nancy (France), September 12-15th, 2022., pp. 22-27, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR (2) ![In: Social Robotics - 14th International Conference, ICSR 2022, Florence, Italy, December 13-16, 2022, Proceedings, Part II, pp. 615-626, 2022, Springer, 978-3-031-24669-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Eugenia A. Politou, Fran Casino, Efthimios Alepis, Constantinos Patsakis |
Blockchain Mutability: Challenges and Proposed Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Emerg. Top. Comput. ![In: IEEE Trans. Emerg. Top. Comput. 9(4), pp. 1972-1986, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Erik Daniel, Florian Tschorsch |
Towards Verifiable Mutability for Blockchains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.15935, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
28 | Erik Daniel, Florian Tschorsch |
Poster: Towards Verifiable Mutability for Blockchains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroS&P ![In: IEEE European Symposium on Security and Privacy, EuroS&P 2021, Vienna, Austria, September 6-10, 2021, pp. 722-724, 2021, IEEE, 978-1-6654-1491-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 16(11), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Vlastimil Dort, Ondrej Lhoták |
Reference Mutability for DOT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference)., pp. 18:1-18:28, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-154-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Andy Keep |
Workshop: Mixing Mutability into the Nanopass Framework (ELS invited workshop). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELS ![In: Proceedings of the 13th European Lisp Symposium (ELS 2020), Zurich, Switzerland, April 27-28, 2020., 2020, ELSAA, 978-2-9557474-3-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
28 | Eugenia A. Politou, Fran Casino, Efthimios Alepis, Constantinos Patsakis |
Blockchain Mutability: Challenges and Proposed Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.07099, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
28 | |
Correction: Effects of Darwinian Selection and Mutability on Rate of Broadly Neutralizing Antibody Evolution during HIV-1 Infection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 15(6), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Daniel C. King, Dedre Gentner |
Polysemy and Verb Mutability: Differing Processes of Semantic Adjustment for Verbs and Nouns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 41th Annual Meeting of the Cognitive Science Society, CogSci 2019: Creativity + Cognition + Computation, Montreal, Canada, July 24-27, 2019, pp. 2011-2017, 2019, cognitivesciencesociety.org, 0-9911967-7-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
28 | Ana L. Milanova, Wei Huang 0001 |
Definite Reference Mutability (Artifact). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Artifacts Ser. ![In: Dagstuhl Artifacts Ser. 4(3), pp. 07:1-07:3, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 20(12), pp. 933, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Ana L. Milanova |
Definite Reference Mutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 32nd European Conference on Object-Oriented Programming, ECOOP 2018, July 16-21, 2018, Amsterdam, The Netherlands, pp. 25:1-25:30, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-079-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Najmeh Hafezieh, John Amis |
Emergence and Mutability of Social Media Work Practices in Organisational Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the International Conference on Information Systems - Transforming Society with Digital Innovation, ICIS 2017, Seoul, South Korea, December 10-13, 2017, 2017, Association for Information Systems. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 12(5), 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BigMM ![In: IEEE Second International Conference on Multimedia Big Data, BigMM 2016, Taipei, Taiwan, April 20-22, 2016, pp. 275-278, 2016, IEEE Computer Society, 978-1-5090-2179-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Lauri Wessel, Jens Poeppelbuss, Matthias Goeken |
Exploring the Implications of Emergence for Artifact Mutability in Design Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the International Conference on Information Systems - Digital Innovation at the Crossroads, ICIS 2016, Dublin, Ireland, December 11-14, 2016, 2016, Association for Information Systems, 978-0-9966831-3-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
28 | Jens Pöppelbuß, Matthias Goeken |
Understanding the Elusive Black Box of Artifact Mutability. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirtschaftsinformatik ![In: Smart Enterprise Engineering: 12. Internationale Tagung Wirtschaftsinformatik, WI 2015, Osnabrück, Germany, March 4-6, 2015., pp. 1557-1571, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 15(S-7), pp. S2, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Maha Shaikh |
Mutability and Becoming: Materializing of Public Sector Adoption of Open Source Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Shaping the Future of ICT Research ![In: Shaping the Future of ICT Research. Methods and Approaches - IFIP WG 8.2, Working Conference, Tampa, FL, USA, December 13-14, 2012. Proceedings, pp. 123-140, 2012, Springer, 978-3-642-35141-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Christos Grompanopoulos, Ioannis Mavridis |
Towards Differentiated Utilization of Attribute Mutability for Access Control in Ubiquitous Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Panhellenic Conference on Informatics ![In: 14th Panhellenic Conference on Informatics, PCI 2010, Tripoli, Greece, September 10-12, 2010, pp. 118-123, 2010, IEEE Computer Society, 978-1-4244-7838-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Jaehong Park, Xinwen Zhang, Ravi S. Sandhu |
Attribute Mutability in Usage Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBSec ![In: Research Directions in Data and Applications Security XVIII, IFIP TC11/WG 11.3 Eighteenth Annual Conference on Data and Applications Security, July 25-28, 2004, Sitges, Catalonia, Spain, pp. 15-29, 2004, Kluwer/Springer, 1-4020-8127-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Dene Grigar |
Mutability, Medium, and Character. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Humanit. ![In: Comput. Humanit. 36(3), pp. 359-378, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Tim D. Moreton, Ian A. Pratt, Timothy L. Harris |
Storage, Mutability and Naming in Pasta. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETWORKING Workshops ![In: Web Engineering and Peer-to-Peer Computing, NETWORKING 2002 Workshops, Pisa, Italy, May 19-24, 2002, Revised Papers, pp. 215-219, 2002, Springer, 3-540-44177-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | 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 |
|
28 | Marlene Manoff |
Hybridity, Mutability, Multiplicity: Theorizing Electronic Library Collections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Libr. Trends ![In: Libr. Trends 48(4), 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
17 | Todd A. Anderson 0001 |
Optimizations in a private nursery-based garbage collector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 9th International Symposium on Memory Management, ISMM 2010, Toronto, Ontario, Canada, June 5-6, 2010, pp. 21-30, 2010, ACM, 978-1-4503-0054-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Atlanta, Georgia, USA, April 10-15, 2010, pp. 1447-1456, 2010, ACM, 978-1-60558-929-9. The full citation details ...](Pics/full.jpeg) |
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. ![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 |
17 | Xinwen Zhang, Masayuki Nakae, Michael J. Covington, Ravi S. Sandhu |
Toward a Usage-Based Security Framework for Collaborative Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. Secur. ![In: ACM Trans. Inf. Syst. Secur. 11(1), pp. 3:1-3:36, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISECS ![In: Proceedings of The International Symposium on Electronic Commerce and Security, ISECS 2008, August 3-5, 2008, Guangzhou, China, pp. 843-849, 2008, IEEE Computer Society, 978-0-7695-3258-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS ![In: IEEE/IFIP Network Operations and Management Symposium: Pervasive Management for Ubioquitous Networks and Services, NOMS 2008, 7-11 April 2008, Salvador, Bahia, Brazil, pp. 831-834, 2008, IEEE, 978-1-4244-2066-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Aniket Kittur, Bongwon Suh, Ed H. Chi |
Can you ever trust a wiki?: impacting perceived trustworthiness in wikipedia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: Proceedings of the 2008 ACM Conference on Computer Supported Cooperative Work, CSCW 2008, San Diego, CA, USA, November 8-12, 2008, pp. 477-480, 2008, ACM, 978-1-60558-007-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 13th ACM Symposium on Access Control Models and Technologies, SACMAT 2008, Estes Park, CO, USA, June 11-13, 2008, Proceedings, pp. 123-132, 2008, ACM, 978-1-60558-129-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Jamie Zigelbaum, Adam Kumpf, Alejandro Vazquez, Hiroshi Ishii 0001 |
Slurp: tangibility spatiality and an eyedropper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2008 Conference on Human Factors in Computing Systems, CHI 2008, Florence, Italy, April 5-10, 2008, pp. 2565-2574, 2008, ACM, 978-1-60558-012-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIMEA ![In: Proceedings of the Second International Conference on Digital Interactive Media in Entertainment and Arts, DIMEA 2007, 19-21 September 2007, Perth, Western Australia, pp. 183, 2007, ACM, 978-1-59593-708-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: FPL 2007, International Conference on Field Programmable Logic and Applications, Amsterdam, The Netherlands, 27-29 August 2007, pp. 202-209, 2007, IEEE, 1-4244-1060-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Helge Janicke, Antonio Cau, Hussein Zedan |
A note on the formalisation of UCON. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 12th ACM Symposium on Access Control Models and Technologies, SACMAT 2007, Sophia Antipolis, France, June 20-22, 2007, Proceedings, pp. 163-168, 2007, ACM, 978-1-59593-745-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 12th ACM Symposium on Access Control Models and Technologies, SACMAT 2007, Sophia Antipolis, France, June 20-22, 2007, Proceedings, pp. 71-80, 2007, ACM, 978-1-59593-745-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APMS ![In: Advances in Production Management Systems, International IFIP TC 5, WG 5.7 Conference on Advances in Production Management Systems (APMS 2007), September 17-19, Linköping, Sweden, pp. 337-344, 2007, Springer, 978-0-387-74156-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CANS ![In: Cryptology and Network Security, 6th International Conference, CANS 2007, Singapore, December 8-10, 2007, Proceedings, pp. 1-14, 2007, Springer, 978-3-540-76968-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 2006 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2006, Taipei, Taiwan, March 21-24, 2006, pp. 243-254, 2006, ACM, 1-59593-272-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 506-507, 2006, ACM, 1-59593-491-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Xinwen Zhang, Francesco Parisi-Presicce, Ravi S. Sandhu, Jaehong Park |
Formal model and policy specification of usage control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. Secur. ![In: ACM Trans. Inf. Syst. Secur. 8(4), pp. 351-387, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 144-153, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
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. ![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 |
17 | Xinwen Zhang, Jaehong Park, Francesco Parisi-Presicce, Ravi S. Sandhu |
A logical specification for usage control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 9th ACM Symposium on Access Control Models and Technologies, SACMAT 2004, Yorktown Heights, New York, USA, June 2-4, 2004, Proceedings, pp. 1-10, 2004, ACM, 1-58113-872-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAISC ![In: Artificial Intelligence and Soft Computing - ICAISC 2004, 7th International Conference, Zakopane, Poland, June 7-11, 2004, Proceedings, pp. 835-840, 2004, Springer, 3-540-22123-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Mohamed F. Mokbel |
Continuous Query Processing in Spatio-Temporal Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT Workshops ![In: Current Trends in Database Technology - EDBT 2004 Workshops, EDBT 2004 Workshops PhD, DataX, PIM, P2P&DB, and ClustWeb, Heraklion, Crete, Greece, March 14-18, 2004, Revised Selected Papers, pp. 100-111, 2004, Springer, 3-540-23305-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Zoltan Somogyi, Peter J. Stuckey |
Using the heap to eliminate stack accesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 121-132, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 23(2), pp. 67-84, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoopIS ![In: Proceedings of the Second IFCIS International Conference on Cooperative Information Systems, Kiawah Island, South Carolina, USA, June 24-27, 1997, Sponsored by IFCIS, The Intn'l Foundation on Cooperative Information Systems, pp. 120-129, 1997, IEEE Computer Society, 0-8186-7946-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #70 of 70 (100 per page; Change: )
|
|