Search results for "CCS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
202	Jesús Aranda, Frank D. Valencia, Cristian Versari	On the Expressive Power of Restriction and Priorities in CCS with Replication.	FoSSaCS	2009	DBLP DOI BibTeX RDF
105	Roberto Gorrieri, Ugo Montanari	Distributed Implementation of CCS.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Place/Transition Petri nets, concurrent calculi, net calculi, implementation morphism, atomicity, operational semantics, denotational semantics
96	Alberto Verdejo, Narciso Martí-Oliet	Two Case Studies of Semantics Execution in Maude: CCS and LOTOS.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	executable semantic framework, internal strategies, Hennessy-Milner modal logic, symbolic semantics for LOTOS, ACT ONE, rewriting logic, CCS, Maude
85	Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia	CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence.	APLAS	2007	DBLP DOI BibTeX RDF
78	Anthony-Trung Nguyen, Josep Torrellas	Design Trade-Offs in High-Throughput Coherence Controllers.	IEEE PACT	2003	DBLP DOI BibTeX RDF
76	Mario R. F. Benevides, Luis Menasché Schechter	A Propositional Dynamic Logic for CCS Programs.	WoLLIC	2008	DBLP DOI BibTeX RDF
76	Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour	Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS.	ISSTA	1996	DBLP DOI BibTeX RDF
70	Bard Bloom, Sorin Istrail, Albert R. Meyer	Bisimulation Can't be Traced.	J. ACM	1995	DBLP DOI BibTeX RDF	process algebra, bisimulation, CCS, CCS, structural operational semantics
69	Bent Thomsen	A Calculus of Higher Order Communicating Systems.	POPL	1989	DBLP DOI BibTeX RDF	CCS
66	Guang Zheng, Shaorong Li, Jinzhao Wu, Lian Li	A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement.	FAW	2007	DBLP DOI BibTeX RDF	value passing CCS, valued stable event structures, valued labeled configuration structures, semantics, action refinement
66	Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001	Impossibility Results for the Equational Theory of Timed CCS.	CALCO	2007	DBLP DOI BibTeX RDF
66	Axel Keller, Alexander Reinefeld	CCS Resource Management in Networked HPC Systems.	Heterogeneous Computing Workshop	1998	DBLP DOI BibTeX RDF	heterogeneous system integration, resource management, metacomputing
58	Hsin-Min Lu, Chwan-Chuen King, Tsung-Shu Joseph Wu, Fuh-Yuan Shih, Jin-Yi Hsiao, Daniel Dajun Zeng, Hsinchun Chen	Chinese Chief Complaint Classification for Syndromic Surveillance.	BioSurveillance	2007	DBLP DOI BibTeX RDF	multilingual chief complaint classification, Chinese chief complaints, mutual information, UMLS, syndromic surveillance, medical ontology
58	Colin Stirling	Temporal logics for CCS.	REX Workshop	1988	DBLP DOI BibTeX RDF	Key-words transition systems, temporal logic, modal logic, CCS
56	Li Bao, Weishi Zhang, Xiuguo Zhang	Describing and Verifying Web Service by CCS on a Case Study.	ICNSC	2008	DBLP DOI BibTeX RDF
56	Monica Nesi	Value-Passing CCS in HOL.	HUG	1993	DBLP DOI BibTeX RDF
56	Nicoletta De Francesco, Paola Inverardi	A Semantic Driven Method to Check the Finiteness of CCS Processes.	CAV	1991	DBLP DOI BibTeX RDF
56	Juanito Camilleri	A Conditional Operator for CCS.	CONCUR	1991	DBLP DOI BibTeX RDF
56	Ursula Goltz	CCS and Petri Nets.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
51	Tamara Sumner, CCS Team	Customizing science instruction with educational digital libraries.	JCDL	2010	DBLP DOI BibTeX RDF	differentiated instruction, software infrastructure for teachers, personalization, educational digital libraries, science education, customizing instruction
50	Gabriel Ciobanu, Dorel Lucanu	Specification and Verification of Synchronizing Concurrent Objects.	IFM	2004	DBLP DOI BibTeX RDF	hidden algebra, model checking, integration, temporal logics, Algebraic specification, concurrent systems, CCS, object-oriented specification
50	Alessandro Giacalone, Scott A. Smolka	Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	Clara, equational rules, user interfaces, parallel programming, parallel programming, graphical user interface, computer graphics, programming environments, programming environments, specification language, specification languages, operational semantics, programming theory, concurrent systems, inference rules, CCS, interactive simulation, formal techniques, simulation languages, algebraic semantics, concurrent languages
48	Alexander Gruler, Martin Leucker, Kathrin Danielle Scheidemann	Modeling and Model Checking Software Product Lines.	FMOODS	2008	DBLP DOI BibTeX RDF
48	Francesc Giné, Francesc Solsona, Mauricio Hanzich, Porfidio Hernández, Emilio Luque	Cooperating CoScheduling: A Coscheduling Proposal Aimed at Non-Dedicated Heterogeneous NOWs.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	non-dedicated and heterogeneous NOW computing, resource allocation, job scheduling
48	Wilfred Ng	Prioritized Preferences and Choice Constraints.	ER	2007	DBLP DOI BibTeX RDF
48	Bavani Arunasalam, Sanjay Chawla	CCCS: a top-down associative classifier for imbalanced class distribution.	KDD	2006	DBLP DOI BibTeX RDF	parameter-free mining, classification, association rules mining, imbalanced data sets
48	Chun-Yuan Lin, Yeh-Ching Chung, Jen-Shiuh Liu	Efficient Data Compression Methods for Multi-Dimensional Sparse Array Operations.	CW	2002	DBLP DOI BibTeX RDF	Data compression scheme, Sparse array operation, Multi-dimensional sparse array, Karnaugh Map
48	Ernst G. Ulrich, Karen Lentz, Jack H. Arabian, Michael Gustin, Vishwani D. Agrawal, Pier Luca Montessoro	The Comparative and Concurrent Simulation of discrete-event experiments.	J. Electron. Test.	1992	DBLP DOI BibTeX RDF	comparative simulation, Discrete-event simulation, parallel simulation, concurrent simulation
48	Gian-Luigi Ferrari 0002	On Causality Observed Incrementally, Finally.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
48	Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik	A finite equational base for CCS with left merge and communication merge.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	communication merge, finite equational base, left merge, concurrency, process algebra, CCS, parallel composition, handshaking, Bisimilarity
48	Li Zhao, Qing Li 0001, Xiaoli Liu, Nanshan Du	A modeling method based on CCS for workflow.	ICUIMC	2009	DBLP DOI BibTeX RDF	model, workflow, graphical, CCS
48	Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini	Reduced Models for Efficient CCS Verification.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	model checking, CCS, state explosion problem
47	Li Bao, Weishi Zhang, Xiuguo Zhang	Describing and Verifying Web Service Using CCS.	PDCAT	2006	DBLP DOI BibTeX RDF
47	Davide Sangiorgi	Types, or: Where's the Difference Between CCS and pi?	CONCUR	2002	DBLP DOI BibTeX RDF
47	Iain Phillips 0001	CCS with Priority Guards.	CONCUR	2001	DBLP DOI BibTeX RDF
47	Wang Yi 0001	CCS + Time = An Interleaving Model for Real Time Systems.	ICALP	1991	DBLP DOI BibTeX RDF
47	Ugo Montanari, Vladimiro Sassone	CCS Dynamic Bisimulation is Progressing.	MFCS	1991	DBLP DOI BibTeX RDF
47	Padmanabhan Krishnan	Distributed CCS.	CONCUR	1991	DBLP DOI BibTeX RDF
47	Ursula Goltz	On Representing CCS Programs by Finite Petri Nets.	MFCS	1988	DBLP DOI BibTeX RDF
47	Ursula Goltz, Alan Mycroft	On the Relationship of CCS and Petri Nets.	ICALP	1984	DBLP DOI BibTeX RDF
47	Stephen D. Brookes	On the Relationship of CCS and CSP.	ICALP	1983	DBLP DOI BibTeX RDF
46	Fan Zhang 0009, Patrick McCorry	DeFi '22: ACM CCS Workshop on Decentralized Finance and Security.	CCS	2022	DBLP DOI BibTeX RDF
46	Sebastian Köhler 0005, Richard Baker 0008, Martin Strohmeier, Ivan Martinovic	Demo: End-to-End Wireless Disruption of CCS EV Charging.	CCS	2022	DBLP DOI BibTeX RDF
46	Mark Yampolskiy, Moti Yung	AMSec'22: ACM CCS Workshop on Additive Manufacturing (3D Printing) Security.	CCS	2022	DBLP DOI BibTeX RDF
46	Taesoo Kim, Zhiqiang Lin, Chia-che Tsai	CCS'17 Tutorial Abstract / SGX Security and Privacy.	CCS	2017	DBLP DOI BibTeX RDF
46	Danfeng (Daphne) Yao, Elisa Bertino	CCS 2017: Women in Cyber Security (CyberW) Workshop.	CCS	2017	DBLP DOI BibTeX RDF
46	Adrienne Porter Felt, N. Asokan	CCS'13 co-located workshop summary for SPSM 2013.	CCS	2013	DBLP DOI BibTeX RDF
46	William Enck, Xuxian Jiang	CCS'12 co-located workshop summary for SPSM 2012.	CCS	2012	DBLP DOI BibTeX RDF
45	Ilsun You, Elisa Bertino (eds.)	Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats, MIST@CCS 2016, Vienna, Austria, October 28, 2016	MIST@CCS	2016	DBLP DOI BibTeX RDF
45	Tabish Rashid, Ioannis Agrafiotis, Jason R. C. Nurse	A New Take on Detecting Insider Threats: Exploring the Use of Hidden Markov Models.	MIST@CCS	2016	DBLP BibTeX RDF
45	Fulvio Valenza, Marco Vallini, Antonio Lioy	Online and Offline Security Policy Assessment.	MIST@CCS	2016	DBLP BibTeX RDF
45	Kyungroul Lee, Hyeungjun Yeuk, Kangbin Yim, Suhyun Kim	Analysis on Manipulation of the MAC Address and Consequent Security Threats.	MIST@CCS	2016	DBLP BibTeX RDF
45	Noam Shalev, Idit Keidar, Yosef Moatti, Yaron Weinsberg	WatchIT: Who Watches Your IT Guy?	MIST@CCS	2016	DBLP BibTeX RDF
45	Peter Mell, James M. Shook, Serban I. Gavrila	Restricting Insider Access Through Efficient Implementation of Multi-Policy Access Control Systems.	MIST@CCS	2016	DBLP BibTeX RDF
45	Simon Parkin, Andrew Fielder, Alex Ashby	Pragmatic Security: Modelling IT Security Management Responsibilities for SME Archetypes.	MIST@CCS	2016	DBLP BibTeX RDF
45	Yvo Desmedt, Arash Shaghaghi	Function-Based Access Control (FBAC): From Access Control Matrix to Access Control Tensor.	MIST@CCS	2016	DBLP BibTeX RDF
45	Fei Song 0001, Wei Quan 0001, Tianming Zhao, Hongke Zhang, Ziwei Hu, Ilsun You	Ports Distribution Management for Privacy Protection inside Local Domain Name System.	MIST@CCS	2016	DBLP BibTeX RDF
45	Markus Wurzenberger, Florian Skopik, Roman Fiedler, Wolfgang Kastner	Discovering Insider Threats from Log Data with High-Performance Bioinformatics Tools.	MIST@CCS	2016	DBLP BibTeX RDF
45	Ioannis Agrafiotis, Arnau Erola, Michael Goldsmith, Sadie Creese	A Tripwire Grammar for Insider Threat Detection.	MIST@CCS	2016	DBLP BibTeX RDF
45	Mohamed Yassine Naghmouchi, Nancy Perrot, Nizar Kheir, Ali Ridha Mahjoub, Jean-Philippe Wary	A New Risk Assessment Framework Using Graph Theory for Complex ICT Systems.	MIST@CCS	2016	DBLP BibTeX RDF
45	Florian Kammueller, Manfred Kerber, Christian W. Probst	Towards Formal Analysis of Insider Threats for Auctions.	MIST@CCS	2016	DBLP BibTeX RDF
45	Stefan Achleitner, Thomas La Porta, Patrick D. McDaniel, Shridatt Sugrim, Srikanth V. Krishnamurthy, Ritu Chadha	Cyber Deception: Virtual Networks to Defend Insider Reconnaissance.	MIST@CCS	2016	DBLP BibTeX RDF
45	Wafa Ben Jaballah, Nizar Kheir	A Grey-Box Approach for Detecting Malicious User Interactions in Web Applications.	MIST@CCS	2016	DBLP BibTeX RDF
45	Ryan V. Johnson, Jessie Lass, W. Michael Petullo	Studying Naive Users and the Insider Threat with SimpleFlow.	MIST@CCS	2016	DBLP BibTeX RDF
39	Hans Toetenel, Ronald F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk	Modeling and analysis of complex computer systems-the MTCCS approach.	ICECCS	1996	DBLP DOI BibTeX RDF	complex computer systems modeling, complex computer systems analysis, MTCCS approach, work in progress, real time concurrent systems, non trivial data component, Timed CCS, Model Oriented Timed Calculus of Communicating Systems, model oriented data language, operational style, temporal logic properties, combination notation, verification, formal specification, formal specification, specification language, symbolic model checking, VDM
39	Jirí Jaros, Vaclav Dvorak	Evolutionary-based conflict-free scheduling of collective communications on spidergon NoCs.	GECCO	2010	DBLP DOI BibTeX RDF	fat topologies, spidergon, collective communications, wormhole switching, evolutionary design, communication scheduling
39	Pei-Yun Tsai, Duen-Ren Liu	Personalized Popular Blog Recommender Service for Mobile Applications.	EC-Web	2009	DBLP DOI BibTeX RDF	Time-Sensitive Topic, Recommender System, Blog, Mobile Service
39	Piotr Matyasik, Marcin Szpyrka	Formal Modelling and Verification of Concurrent Systems with XCCS.	ISPDC	2008	DBLP DOI BibTeX RDF
39	Jonathan Kavanagh, David G. Mitchell, Eugenia Ternovska, Ján Manuch, Xiaohong Zhao, Arvind Gupta	Constructing Camin-Sokal Phylogenies Via Answer Set Programming.	LPAR	2006	DBLP DOI BibTeX RDF	Camin-Sokal, answer set programming, phylogeny, maximum parsimony
39	Xavier Llorà, Kumara Sastry, David E. Goldberg	The compact classifier system: scalability analysis and first results.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
39	Marcelo Cezar Pinto, Luciana Foss, José C. M. Mombach, Leila Ribeiro 0001	Modeling and Property Verification of Lactose Operon Regulation.	BSB	2005	DBLP DOI BibTeX RDF
39	Ashish Popli	ACM Computer and Communication Security Conference.	IEEE Secur. Priv.	2004	DBLP DOI BibTeX RDF
39	Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia	On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi.	FoSSaCS	2004	DBLP DOI BibTeX RDF
39	Chun-Yuan Lin, Yeh-Ching Chung, Jen-Shiuh Liu	Efficient Data Compression Methods for Multidimensional Sparse Array Operations Based on the EKMR Scheme.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Data compression scheme, sparse array operation, multidimensional sparse array, sparse ratio, Karnaugh map
39	Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro	Replication vs. Recursive Definitions in Channel Based Calculi.	ICALP	2003	DBLP DOI BibTeX RDF
39	Thomas Pfarr, James E. Reis	The Integration of COTS/GOTS within NASA's HST Command and Control System.	ICCBSS	2002	DBLP DOI BibTeX RDF
39	Nicoletta De Francesco, Antonella Santone	A Transformation System for Concurrent Processes.	Acta Informatica	1998	DBLP DOI BibTeX RDF
39	Ilaria Castellani	Observing Distribution in Processes.	MFCS	1993	DBLP DOI BibTeX RDF
39	Gian-Luigi Ferrari 0002, Ugo Montanari	Towards the Unification of Models for Concurrency.	CAAP	1990	DBLP DOI BibTeX RDF
39	Alessandro Giacalone, Martin C. Rinard, Thomas W. Doeppner Jr.	IDEOSY: An Ideographic and Interactive Program Description System.	Software Development Environments (SDE)	1984	DBLP DOI BibTeX RDF	UNIX
38	Philippe Golle	Machine learning attacks against the Asirra CAPTCHA.	CCS	2008	DBLP DOI BibTeX RDF	reverse turing test, machine learning, support vector machine, classifier, captcha
38	Benoît Libert, Damien Vergnaud	Multi-use unidirectional proxy re-signatures.	CCS	2008	DBLP DOI BibTeX RDF	multi-use proxy re-cryptography, unidirectionality, digital signatures
37	Hanne Riis Nielson, Flemming Nielson	Data Flow Analysis for CCS.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
37	Jifeng He 0001, C. A. R. Hoare	CSP Is a Retract of CCS.	UTP	2006	DBLP DOI BibTeX RDF
37	Luiz Gustavo Lopes, Leonardo Gresta Paulino Murta, Cláudia M. L. Werner	Odyssey-CCS: A Change Control System Tailored to Software Reuse.	ICSR	2006	DBLP DOI BibTeX RDF
37	Fabio Martinelli	Symbolic Semantics and Analysis for Crypto-CCS with (Almost) Generic Inference Systems.	MFCS	2002	DBLP DOI BibTeX RDF
37	Ashvin Dsouza, Bard Bloom	On the Expressive Power of CCS.	FSTTCS	1995	DBLP DOI BibTeX RDF
37	Madhavan Mukund, Mogens Nielsen	CCS, Location and Asynchronous Transition Systems.	FSTTCS	1992	DBLP DOI BibTeX RDF
37	Rocco De Nicola, Paola Inverardi, Monica Nesi	Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
37	Colin Stirling, David Walker 0002	CCS, Liveness, and Local Model Checking in the Linear Time Mu-Calculus.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
37	Gérard Boudol, Ilaria Castellani	Permutation of transitions: An event structure semantics for CCS and SCCS.	REX Workshop	1988	DBLP DOI BibTeX RDF	pomset-labelled transition systems, process algebras, event structures
37	Stefania Gnesi, Paola Inverardi, Monica Nesi	A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences.	Concurrency	1988	DBLP DOI BibTeX RDF
37	Rocco De Nicola, Matthew Hennessy	CCS without tau's.	TAPSOFT, Vol.1	1987	DBLP DOI BibTeX RDF
37	Colin Stirling	A Complete Compositional Model Proof System for a Subset of CCS.	ICALP	1985	DBLP DOI BibTeX RDF
37	Susanne Graf, Joseph Sifakis	A Modal Characterization of Observational Congruence on Finite Terms of CCS.	ICALP	1984	DBLP DOI BibTeX RDF
35	Rob J. van Glabbeek, Peter Höfner	CCS: It's not fair! - Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions.	Acta Informatica	2015	DBLP DOI BibTeX RDF
35	Rob J. van Glabbeek, Peter Höfner	CCS: It's not Fair! Fair Schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions.	CoRR	2015	DBLP BibTeX RDF
35	Ang Zhao	The Challenges of Carbon Capture and Storage (CCS) Development in China: A Comparative Analysis of Three CCS Demonstration Cases in Europe, U.S., and China.	Int. J. Appl. Logist.	2012	DBLP DOI BibTeX RDF
35	Roberto M. Amadio	On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS.	EXPRESS	2008	DBLP DOI BibTeX RDF
35	Roberto M. Amadio	On convergence-sensitive bisimulation and the embedding of CCS in timed CCS	CoRR	2008	DBLP BibTeX RDF