Search results for "TOSCA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
137	Fiona Lodge, Kristofer Kimbler, Manuel Hubert	Alignment of the TOSCA and SCREEN Approaches to Service Creation.	IS&N	1999	DBLP DOI BibTeX RDF
68	Alessandro Balboni, William Fornaciari, Donatella Sciuto	Partitioning and Exploration Strategies in the TOSCA Co-Design Flow.	CODES	1996	DBLP DOI BibTeX RDF
59	Maurice Milgram, Thierry de Saint Pierre	Boundary Detection and Skeletonization with a Massively Parallel Architecture.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	TOSCA, edge pixel detection, token propagation, counting devices, local processing, parallel architectures, computerised pattern recognition, computerised pattern recognition, skeletonization, cellular automaton, boundary detection, massively parallel architecture, Chamfer distance
50	Sebastian Mödersheim, Catuscia Palamidessi (eds.)	Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers	TOSCA	2012	DBLP DOI BibTeX RDF
50	Sreekanth Malladi	Soundness of Removing Cancellation Identities in Protocol Analysis under Exclusive-OR.	TOSCA	2011	DBLP DOI BibTeX RDF
50	Joeri de Ruiter, Erik Poll	Formal Analysis of the EMV Protocol Suite.	TOSCA	2011	DBLP DOI BibTeX RDF
50	Marieke Huisman, Henri-Charles Blondeel	Model-Checking Secure Information Flow for Multi-threaded Programs.	TOSCA	2011	DBLP DOI BibTeX RDF
50	Michael Backes 0001, Catalin Hritcu, Matteo Maffei	Union and Intersection Types for Secure Protocol Implementations.	TOSCA	2011	DBLP DOI BibTeX RDF
50	Zhengqin Luo, Tamara Rezk, Manuel Serrano	Automated Code Injection Prevention for Web Applications.	TOSCA	2011	DBLP DOI BibTeX RDF
50	Morten Dahl, Stéphanie Delaune, Graham Steel	Formal Analysis of Privacy for Anonymous Location Based Services.	TOSCA	2011	DBLP DOI BibTeX RDF
50	Moez Ben MBarka, Francine Krief, Olivier Ly	Modeling Long-Term Signature Validation for Resolution of Dispute.	TOSCA	2011	DBLP DOI BibTeX RDF
50	Florent Jacquemard, Étienne Lozes, Ralf Treinen, Jules Villard	Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus.	TOSCA	2011	DBLP DOI BibTeX RDF
50	Joshua D. Guttman	Security Goals and Protocol Transformations.	TOSCA	2011	DBLP DOI BibTeX RDF
50	Véronique Cortier	Secure Composition of Protocols.	TOSCA	2011	DBLP DOI BibTeX RDF
50	Ueli Maurer	Constructive Cryptography - A New Paradigm for Security Definitions and Proofs.	TOSCA	2011	DBLP DOI BibTeX RDF
50	Michael Backes 0001, Matteo Maffei, Kim Pecina, Raphael M. Reischuk	G2C: Cryptographic Protocols from Goal-Driven Specifications.	TOSCA	2011	DBLP DOI BibTeX RDF
50	Marina Lenisa, Marino Miculan (eds.)	Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001	TOSCA	2002	DBLP BibTeX RDF
50	Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli	Synchronized Regular Expressions.	TOSCA	2001	DBLP DOI BibTeX RDF
50	Furio Honsell, Marino Miculan, Ivan Scagnetto	The Theory of Contexts for First Order and Higher Order Abstract Syntax.	TOSCA	2001	DBLP DOI BibTeX RDF
50	Gian-Luigi Ferrari 0002, Eugenio Moggi, Rosario Pugliese	Higher-Order Types and Meta-Programming for Global Computing.	TOSCA	2001	DBLP DOI BibTeX RDF
50	Marina Lenisa, Marino Miculan	Preface.	TOSCA	2001	DBLP DOI BibTeX RDF
50	Agathe Merceron, Monika Müllerburg, G. Michele Pinna	Specifying and verifying reactive systems in a multi-language environment.	TOSCA	2001	DBLP DOI BibTeX RDF
50	Mario Coppo, Mariangiola Dezani-Ciancaglini	A Fully Abstract Model for Mobile Ambients.	TOSCA	2001	DBLP DOI BibTeX RDF
50	Giuseppe Castagna, Michele Bugliesi, Silvia Crafa	An overview of Boxed Ambients.	TOSCA	2001	DBLP DOI BibTeX RDF
50	Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca	A type preserving translation of Fickle into Java.	TOSCA	2001	DBLP DOI BibTeX RDF
50	Fabio Gadducci, Piergiulio Katis, Ugo Montanari, Nicoletta Sabadini, Robert F. C. Walters	Comparing cospan-spans and tiles via a Hoare-style process calculus.	TOSCA	2001	DBLP DOI BibTeX RDF
50	Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci	Formal Models of Timing Attacks on Web Privacy.	TOSCA	2001	DBLP DOI BibTeX RDF
50	Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese	XKlaim and Klava: Programming Mobile Code.	TOSCA	2001	DBLP DOI BibTeX RDF
50	Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan	Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic.	TOSCA	2001	DBLP DOI BibTeX RDF
50	Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone	A Type Inference Algorithm for Secure Ambients.	TOSCA	2001	DBLP DOI BibTeX RDF
50	Antonio Brogi, Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro	Comparative analysis of the expressiveness of shared dataspace coordination.	TOSCA	2001	DBLP DOI BibTeX RDF
50	Lorenzo Bettini, Viviana Bono, Betti Venneri	Towards Object-Oriented Klaim.	TOSCA	2001	DBLP DOI BibTeX RDF
50	Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli	Techniques for Security Checking: Non-Interference vs Control Flow Analysis.	TOSCA	2001	DBLP DOI BibTeX RDF
50	Flemming Nielson, Hanne Riis Nielson, Helmut Seidl	Cryptographic Analysis in Cubic Time.	TOSCA	2001	DBLP DOI BibTeX RDF
45	Valentino Liberali, Victor da Fonte Dias, M. Ciapponi, Franco Maloberti	TOSCA: a simulator for switched-capacitor noise-shaping A/D converters.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
44	Michael Wurster, Uwe Breitenbücher, Lukas Harzenetter, Frank Leymann, Jacopo Soldani, Vladimir Yussupov	TOSCA Light: Bridging the Gap between the TOSCA Specification and Production-ready Deployment Technologies.	CLOSER	2020	DBLP DOI BibTeX RDF
44	Michael Wurster, Uwe Breitenbücher, Lukas Harzenetter, Frank Leymann, Jacopo Soldani	TOSCA Lightning: An Integrated Toolchain for Transforming TOSCA Light into Production-Ready Deployment Technologies.	CAiSE Forum	2020	DBLP DOI BibTeX RDF
32	Tosca Lechner, Shai Ben-David	Impossibility of Characterizing Distribution Learning - a simple solution to a long-standing problem.	CoRR	2023	DBLP DOI BibTeX RDF
32	Alessandro De Carlo, Elena Maria Tosca, Nicola Melillo, Paolo Magni	mvLognCorrEst: an R package for sampling from multivariate lognormal distributions and estimating correlations from uncomplete correlation matrix.	Comput. Methods Programs Biomed.	2023	DBLP DOI BibTeX RDF
32	Shai Ben-David, Alex Bie, Gautam Kamath 0001, Tosca Lechner	Distribution Learnability and Robustness.	NeurIPS	2023	DBLP BibTeX RDF
32	Tosca Lechner, Vinayak Pathak, Ruth Urner	Adversarially Robust Learning with Uncertain Perturbation Sets.	NeurIPS	2023	DBLP BibTeX RDF
32	Tosca Lechner, Ruth Urner, Shai Ben-David	Strategic Classification with Unknown User Manipulations.	ICML	2023	DBLP BibTeX RDF
32	Tosca Lechner, Ruth Urner	Learning Losses for Strategic Classification.	CoRR	2022	DBLP DOI BibTeX RDF
32	Tosca Lechner, Shai Ben-David	Inherent Limitations of Multi-Task Fair Representations.	CoLLAs	2022	DBLP BibTeX RDF
32	Alberta A. Ansah, Yilun Xing, Amudha Varshini Kamaraj, Diana Tosca, Linda Ng Boyle, Shamsi T. Iqbal, Andrew L. Kun, John D. Lee, Michel Pahud, Orit Shaer	"I need to respond to this" - Contributions to group creativity in remote meetings with distractions.	CHIWORK	2022	DBLP DOI BibTeX RDF
32	Nabil Al Nahin Ch, Diana Tosca, Tyanna Crump, Alberta Ansah, Andrew L. Kun, Orit Shaer	Gesture and Voice Commands to Interact With AR Windshield Display in Automated Vehicle: A Remote Elicitation Study.	UI	2022	DBLP DOI BibTeX RDF
32	Tosca Klijnsma, Tim Steenvoorden	Semantic Equivalence of Task-Oriented Programs in TopHat.	TFP	2022	DBLP DOI BibTeX RDF
32	Tosca Lechner, Ruth Urner	Learning Losses for Strategic Classification.	AAAI	2022	DBLP DOI BibTeX RDF
32	CHIWORK Collective, Naveena Karusala, Nabil Al Nahin Ch, Diana Tosca, Alberta A. Ansah, Emeline Brulé, Nadia Fereydooni, Le-En Huang, Azra Ismail, Pranjal Jain, Yi Xuan Khoo, Isabel Muñoz, Clemens Schartmüller, Himanshu Verma 0001, Preeti Vyas, Susanne C. J. Boll, Sarah E. Fox, Noopur Raval, Max L. Wilson 0001, Anna L. Cox, Christian P. Janssen, Helena M. Mentis, Neha Kumar 0001, Orit Shaer, Andrew L. Kun	Human-Computer Interaction and the Future of Work.	CHI Extended Abstracts	2022	DBLP DOI BibTeX RDF
32	Orit Shaer, Diana Tosca, Andrew L. Kun	Teaching Tangible Interaction Remotely During COVID-19: Transcending Physical Boundaries.	IEEE Pervasive Comput.	2021	DBLP DOI BibTeX RDF
32	Tosca Lechner, Shai Ben-David, Sushant Agarwal, Nivasini Ananthakrishnan	Impossibility results for fair representations.	CoRR	2021	DBLP BibTeX RDF
32	Akinori Nakamura, Susana Tosca	The Mobile Suit Gundam Franchise: A Case Study of Transmedia Storytelling Practices and Ludo Mix in Japan.	Trans. Digit. Games Res. Assoc.	2021	DBLP DOI BibTeX RDF
32	Nivasini Ananthakrishnan, Shai Ben-David, Tosca Lechner, Ruth Urner	Identifying regions of trusted predictions.	UAI	2021	DBLP BibTeX RDF
32	Lisa Orii, Diana Tosca, Andrew L. Kun, Orit Shaer	Perceptions of Trucking Automation: Insights from the r/Truckers Community.	AutomotiveUI	2021	DBLP DOI BibTeX RDF
32	Nivasini Ananthakrishnan, Shai Ben-David, Tosca Lechner	Classification Confidence Scores with Point-wise Guarantees.	SafeAI@AAAI	2021	DBLP BibTeX RDF
32	Lisa Orii, Diana Tosca, Andrew L. Kun, Orit Shaer	Perceptions on the Future of Automation in r/Truckers.	CHI Extended Abstracts	2021	DBLP DOI BibTeX RDF
32	Sushant Agarwal, Nivasini Ananthakrishnan, Shai Ben-David, Tosca Lechner, Ruth Urner	Open Problem: Are all VC-classes CPAC learnable?	COLT	2021	DBLP BibTeX RDF
32	Sushant Agarwal, Nivasini Ananthakrishnan, Shai Ben-David, Tosca Lechner, Ruth Urner	On Learnability wih Computable Learners.	ALT	2020	DBLP BibTeX RDF
32	Susana Tosca	Utopian social media.	Digit. Creativity	2019	DBLP DOI BibTeX RDF
32	Akinori Nakamura, Susana Tosca	The Mobile Suit Gundam Franchise: a Case Study of Transmedia Storytelling Practices and the Role of Digital Games in Japan.	DiGRA Conference	2019	DBLP BibTeX RDF
32	Maria Val Martin, Ralph A. Kahn, Mika G. Tosca	A Global Analysis of Wildfire Smoke Injection Heights Derived from Space-Based Multi-Angle Imaging.	Remote. Sens.	2018	DBLP DOI BibTeX RDF
32	Mika G. Tosca, James R. Campbell 0002, Michael J. Garay, Simone Lolli, Felix C. Seidel, Jared Marquis, Olga V. Kalashnikova	Attributing Accelerated Summertime Warming in the Southeast United States to Recent Reductions in Aerosol Burden: Indications from Vertically-Resolved Observations.	Remote. Sens.	2017	DBLP DOI BibTeX RDF
32	Susana Tosca, Stine Ejsing-Duun	Design thinking and imitatio in an educational setting.	Digit. Creativity	2017	DBLP DOI BibTeX RDF
32	Susana Pajares Tosca	Dreaming of e-reading futures.	Digit. Creativity	2015	DBLP DOI BibTeX RDF
32	Oscar Colteli, Ximo Grandi, Ricardo Tosca, Pedro Latorre Carmona, José Salvador Sánchez 0001, Luis Vicente Lizan, Francisco Ros-Bernal, Conrrado Martinez-Cadenas	Designing serious games for learning support in medicine studies: A specific method to elicit and formalize requirements.	FIE	2014	DBLP DOI BibTeX RDF
32	Héctor Puente, Susana Tosca	The Social Dimension of Collective Storytelling in Skyrim.	DiGRA Conference	2013	DBLP BibTeX RDF
32	Lisbeth Klastrup, Susana Tosca	MMOGs and the Ecology of Fiction: Understanding LOTRO as Transmedial World [Abstract].	DiGRA Conference	2009	DBLP BibTeX RDF
32	Tosca Lahiri, Mark Woodman	A Business Service Selection Model for Automated Web Service Discovery Requirements.	ICEIS	2009	DBLP DOI BibTeX RDF	Business Service Model, Web Services, Interoperability, Requirements, Discovery
32	Carmine Maffei, Antonio P. Leone, Mauro Vella, Giuseppe Meoli, Maurizio Tosca, Massimo Menenti	Retrieval of vegetation moisture indicators for dynamic fire risk assessment with simulated MODIS radiance.	IGARSS	2007	DBLP DOI BibTeX RDF
32	Aglaia G. Manousaki, Andreas G. Manios, Evgenia I. Tsompanaki, Androniki D. Tosca	Use of color texture in determining the nature of melanocytic skin lesions - a qualitative and quantitative approach.	Comput. Biol. Medicine	2006	DBLP DOI BibTeX RDF
32	Tosca Lahiri, Mark Woodman	Web Services Standards: Do We Need Them?	WEWST@ECOWS	2006	DBLP BibTeX RDF
32	Tosca Lahiri, Mark Woodman	Web Service Standards: Do we need them?	WEWST@ECOWS (Final Proceedings)	2006	DBLP DOI BibTeX RDF
32	Tosca Lahiri, Mark Woodman	Web Service Architectures Need Constraining Standards: An Agenda for Developing Systems without Client-Side Software Adapters.	IASTED Conf. on Software Engineering	2006	DBLP BibTeX RDF
32	Anders Tychsen, Susana Pajares Tosca, Thea Brolund	Personalizing the Player Experience in MMORPGs.	TIDSE	2006	DBLP DOI BibTeX RDF	personalization, personality, MMORPG, character, role playing game
32	Anders Tychsen, Jonas Heide Smith, Michael Hitchens, Susana Pajares Tosca	Communication in Multi-player Role Playing Games - The Effect of Medium.	TIDSE	2006	DBLP DOI BibTeX RDF	player behaviour, communication, computer-mediated communication, narrative, Role-playing games
32	Lisbeth Klastrup, Susana Pajares Tosca	Transmedial Worlds - Rethinking Cyberworld Design.	CW	2004	DBLP DOI BibTeX RDF
32	Susana Pajares Tosca, Jill Walker	Editorial: Selected Bibliography of Hypertext Criticism.	J. Digit. Inf.	2003	DBLP BibTeX RDF
32	Susana Pajares Tosca, Jill Walker	Hypertext Criticism: Writing about Hypertext.	J. Digit. Inf.	2003	DBLP BibTeX RDF
32	Andreas G. Manios, Androniki D. Tosca, Evaggelos Volakakis, Moshoula Leivadara, Dimitris Tsiftsis	Computer assisted evaluation of wound healing in chronic ulcers.	Comput. Biol. Medicine	2003	DBLP DOI BibTeX RDF
32	Susana Pajares Tosca	The appeal of cute monkeys.	DiGRA Conference	2003	DBLP BibTeX RDF
32	Susana Pajares Tosca	The EverQuest Speech Community.	CGDC Conf.	2002	DBLP BibTeX RDF
32	Susana Pajares Tosca	Hypertext Criticism: introduction to a special issue.	J. Digit. Inf.	2001	DBLP BibTeX RDF
32	Susana Pajares Tosca	A Pragmatics of Links.	J. Digit. Inf.	2000	DBLP BibTeX RDF
32	Susana Pajares Tosca	A pragmatics of links.	Hypertext	2000	DBLP DOI BibTeX RDF	movement of meaning, context, hypertext, inferences, link, linguistics, pragmatics
32	Susana Pajares Tosca	Trip report: H2PTM' 99.	SIGWEB Newsl.	1999	DBLP DOI BibTeX RDF
32	Susana Pajares Tosca	The Lyrical Quality of Links.	Hypertext	1999	DBLP DOI BibTeX RDF	hypertext fiction, lyrical text, link
32	David B. Lowe, Deena Larsen, Mark Bernstein, Wendy Hall 0001, Paolo Paolini, Catherine C. Marshall, Susana Pajares Tosca, Lawrence J. Clark	Writers and Designers: Crossing the Chasm (Panel).	Hypertext	1999	DBLP DOI BibTeX RDF
23	Dirk Smeets, Thomas Fabry, Jeroen Hermans, Dirk Vandermeulen, Paul Suetens	Isometric Deformation Modelling for Object Recognition.	CAIP	2009	DBLP DOI BibTeX RDF
23	Carlo Brandolese, William Fornaciari, Luigi Pomante, Fabio Salice, Donatella Sciuto	A Multi-Level Strategy for Software Power Estimation.	ISSS	2000	DBLP DOI BibTeX RDF
23	Richard O. Sinnott, Mario Kolberg	Creating Telecommunication Services based on Object-Oriented Frameworks and SDL.	ISORC	1999	DBLP DOI BibTeX RDF
23	Anders Olsen, Didier Demany, Elsa Cardoso, Fiona Lodge, Mario Kolberg, Morgan Björkander, Richard O. Sinnott	The Pros and Cons of Using SDL for Creation of Distributed Services.	IS&N	1999	DBLP DOI BibTeX RDF
23	Ina Schieferdecker, Mang Li, Andreas Hoffmann 0001	Conformance Testing of TINA Service Components - The TTCN/ CORBA Gateway.	IS&N	1998	DBLP DOI BibTeX RDF
22	Mohamed Oulaaffart, Rémi Badonnel, Olivier Festor	C3S-TTP: A Trusted Third Party for Configuration Security in TOSCA-Based Cloud Services.	J. Netw. Syst. Manag.	2024	DBLP DOI BibTeX RDF
22	Domenico Calcaterra, Orazio Tomarchio	Policy-Based Holistic Application Management with BPMN and TOSCA.	SN Comput. Sci.	2023	DBLP DOI BibTeX RDF
22	Paolo Bocciarelli, Andrea D'Ambrogio	A TOSCA-Based Conceptual Architecture to Support the Federation of Heterogeneous MSaaS Infrastructures.	Future Internet	2023	DBLP DOI BibTeX RDF
22	Miguel Caballer, Germán Moltó, Amanda Calatrava, Ignacio Blanquer	Infrastructure Manager: A TOSCA-Based Orchestrator for the Computing Continuum.	J. Grid Comput.	2023	DBLP DOI BibTeX RDF
22	Miles Stötzner, Steffen Becker 0001, Uwe Breitenbücher, Lukas Harzenetter, Kevin Klein 0002, Oliver Kopp, Jacopo Soldani, Benjamin Weder, Frank Leymann	Datasets for a Systematic Technology Review of General-Purpose Open-Source TOSCA Orchestrators.		2023	DOI RDF
22	Heiko Koziolek, Rhaban Hark, Nafise Eskandani, Phuoc Sang Nguyen, Pablo Rodriguez 0002	TOSCA for Microservice Deployment in Distributed Control Systems: Experiences and Lessons Learned.	ICSA-C	2023	DBLP DOI BibTeX RDF
22	Chinmaya Kumar Dehury, Pelle Jakovits, Satish Narayana Srirama, Giorgos Giotis, Gaurav Garg	TOSCAdata: Modeling data pipeline applications in TOSCA.	J. Syst. Softw.	2022	DBLP DOI BibTeX RDF
22	Vladimir Yussupov, Jacopo Soldani, Uwe Breitenbücher, Frank Leymann	Standards-based modeling and deployment of serverless function orchestrations using BPMN and TOSCA.	Softw. Pract. Exp.	2022	DBLP DOI BibTeX RDF