Search results for "SOS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
96	Mohammad Reza Mousavi 0001, Iain C. C. Phillips, Michel A. Reniers, Irek Ulidowski	The Meaning of Ordered SOS.	FSTTCS	2006	DBLP DOI BibTeX RDF
92	Ana Azevedo, Arun Kejariwal, Alexander V. Veidenbaum, Alexandru Nicolau	High performance annotation-aware JVM for Java cards.	EMSOFT	2005	DBLP DOI BibTeX RDF	superoperators, virtual machine, high performance, Java card
80	Michael Todd Gamble, Rose F. Gamble	Reasoning about Hybrid System of Systems Designs.	ICCBSS	2008	DBLP DOI BibTeX RDF	interoperability, hybrid systems, isolation, system of systems
80	Jochen F. Krucker, J. Brian Fowlkes, Paul L. Carson	Sound speed estimation using ultrasound image registration.	ISBI	2002	DBLP DOI BibTeX RDF
73	Leonardo B. Oliveira, Antonio Alfredo Ferreira Loureiro, Ricardo Dahab	SOS: Secure Overlay Sensornets.	PerCom Workshops	2007	DBLP DOI BibTeX RDF
73	Sanae Shimizu, Kazuhiko Yamamoto, Caihua Wang, Yutaka Satoh, Hideki Tanahashi, Yoshinori Niwa	Moving object detection by mobile Stereo Omni-directional System (SOS) using spherical depth image.	Pattern Anal. Appl.	2006	DBLP DOI BibTeX RDF	Omni-directional stereo, Spherical image, Mobile surveillance system, Ego-motion estimation, Moving object detection
73	Chi Hyung In, Choong Seon Hong, Koji Okamura	An Enhanced SOS Architecture for DDoS Attack Defense Using Active Network Technology.	AICT/SAPIR/ELETE	2005	DBLP DOI BibTeX RDF
73	Peter D. Mosses	Pragmatics of Modular SOS.	AMAST	2002	DBLP DOI BibTeX RDF
72	Jae-Wook Lee, Jun-Woo Lee, Tae-wan Kim, Dae-Ung Kim	Satellite over Satellite (SOS) Network: A Novel Concept of Hierarchical Architecture and Routing in Satellite Network.	LCN	2000	DBLP DOI BibTeX RDF	satellite over satellite network, SOS network, global broadband services, long distance dependent, broadband satellite network, hierarchical satellite constellation, hierarchical satellite routing protocol, adaptive routing protocol, LDD multimedia traffic, HSRP, quality of service, QoS, routing, protocols, network topology, multimedia communication, telecommunication network routing, multimedia traffic, broadband networks, hierarchical architecture, topological design, satellite links
69	Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir	Meta SOS - A Maude Based SOS Meta-Theory Framework.	EXPRESS/SOS	2013	DBLP DOI BibTeX RDF
69	Maroun Chamoun, Rima Kilany, Ahmed Serhrouchni	A Service Oriented P2P architecture with semantic support.	ICON	2008	DBLP DOI BibTeX RDF
62	Fred B. Schneider	Beyond hacking: an SOS!	ICSE (1)	2010	DBLP DOI BibTeX RDF
62	Virginio Cantoni, Roberto Marmo, Marco Zemblini	Video Surveillance and SOS Request.	ICIAP	2007	DBLP DOI BibTeX RDF
61	Chiara Bodei, Pierpaolo Degano, Corrado Priami	Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation.	SAS	1998	DBLP DOI BibTeX RDF	SOS semantics, non-interleaving descriptions, Concurrency, abstract interpretation, causality
57	Bartek Klin	Bialgebraic Operational Semantics and Modal Logic.	LICS	2007	DBLP DOI BibTeX RDF
57	Robert Schaefer	Systems of systems and coordinated atomic actions.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
57	Peter D. Mosses	Exploiting labels in Structural Operational Semantics.	SAC	2004	DBLP DOI BibTeX RDF	MSOS, modularity, structural operational semantics, natural semantics, SOS
56	Jiawang Nie, James Demmel, Bernd Sturmfels	Minimizing Polynomials via Sum of Squares over the Gradient Ideal.	Math. Program.	2006	DBLP DOI BibTeX RDF	Sum of Squares (SOS), Radical Ideal, Gradient Ideal, Global Optimization, Polynomials, Semidefinite Programming (SDP), Variety, Algebraic Geometry
53	Pedro R. D'Argenio, Matias David Lee, Daniel Gebler	SOS rule formats for convex and abstract probabilistic bisimulations.	EXPRESS/SOS	2015	DBLP DOI BibTeX RDF
53	Bartek Klin, Beata Nachyla	Distributive Laws and Decidable Properties of SOS Specifications.	EXPRESS/SOS	2014	DBLP DOI BibTeX RDF
53	Mohammad Reza Mousavi 0001, Michel A. Reniers	Prototyping SOS Meta-theory in Maude.	SOS@ICALP	2005	DBLP DOI BibTeX RDF
53	Jan Friso Groote, Mohammad Reza Mousavi 0001, Michel A. Reniers	A Hierarchy of SOS Rule Formats.	SOS@ICALP	2005	DBLP DOI BibTeX RDF
50	Chengxiang Wang 0001, Dongfeng Yuan, Hsiao-Hwa Chen, Wen Xu	An Improved Deterministic SoS Channel Simulator for Multiple Uncorrelated Rayleigh Fading Channels.	IEEE Trans. Wirel. Commun.	2008	DBLP DOI BibTeX RDF
50	Angelos D. Keromytis, Vishal Misra, Dan Rubenstein	SOS: an architecture for mitigating DDoS attacks.	IEEE J. Sel. Areas Commun.	2004	DBLP DOI BibTeX RDF
50	Angelos D. Keromytis, Vishal Misra, Dan Rubenstein	SOS: secure overlay services.	SIGCOMM	2002	DBLP DOI BibTeX RDF	network security, overlay networks, denial of service attacks
50	Peter D. Mosses	Foundations of Modular SOS.	MFCS	1999	DBLP DOI BibTeX RDF
48	Jiyoung Song, Young Min Baek, Mingyu Jin, Eunkyoung Jee, Doo-Hwan Bae	SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS.	APSEC	2017	DBLP DOI BibTeX RDF
48	Houda Benali, Narjès Bellamine Ben Saoud, Mohamed Ben Ahmed	Towards an Ontology of SoS Interoperability: Proposition of a SoS Interoperability Framework and a SoS Conceptual Interoperability Model.	ISD	2013	DBLP DOI BibTeX RDF
46	Robert E. Donnelly	Bridging live and simulated domains with a common integration approach.	SpringSim	2009	DBLP DOI BibTeX RDF	C4ISR, LVC, mixed experiment, system of systems, integration framework
46	Matthew R. Hosking, Ferat Sahin	An XML based system of systems discrete event simulation communications framework.	SpringSim	2009	DBLP BibTeX RDF	GroundScout robots, swarm behavior, XML, discrete event simulation, DEVS, system of systems
46	Aida Causevic, Aneta Vulgarakis	Towards a Unified Behavioral Model for Component-Based and Service-Oriented Systems.	COMPSAC (2)	2009	DBLP DOI BibTeX RDF
46	Chih-Chieh Han, Ram Kumar 0001, Roy Shea, Eddie Kohler, Mani B. Srivastava	A dynamic operating system for sensor nodes.	MobiSys	2005	DBLP DOI BibTeX RDF
46	Prashanthi Vemuri, Eugene G. Kholmovski, Dennis L. Parker, Brian E. Chapman	Coil Sensitivity Estimation for Optimal SNR Reconstruction and Intensity Inhomogeneity Correction in Phased Array MR Imaging.	IPMI	2005	DBLP DOI BibTeX RDF
46	Mitsuru Kawamoto, Yujiro Inouye	Blind deconvolution of MIMO-FIR channels driven by colored inputs using second-order statistics.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
46	Luke R. Pargiter, Jerry E. Sayers	A system generation for a small operating system.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF	system generation, operating systems, multitasking, concurrent processing
46	Éric Badouel, Philippe Darondeau	Structural Operational Specifications and the Trace Automata.	CONCUR	1992	DBLP DOI BibTeX RDF
45	Mohammad Reza Mousavi 0001, Michel A. Reniers	Orthogonal Extensions in Structural Operational Semantics.	ICALP	2005	DBLP DOI BibTeX RDF	Structural Operational Semantics (SOS), Conservative Extension, Operational Conservativity, Equational Conservativity, Formal Semantics, Orthogonality
45	Apostolos Niaouris	An Algebra of Petri Nets with Arc-Based Time Restrictions.	ICTAC	2004	DBLP DOI BibTeX RDF	Net-based algebraic calculi, arc based time Petri nets, box algebra, SOS semantics, process algebras
45	Maciej Koutny	A Compositional Model of Time Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF	Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, process algebras, time Petri nets
45	Roberto Bruni, Ugo Montanari, Vladimiro Sassone	Open Ended Systems, Dynamic Bisimulation and Tile Logic.	IFIP TCS	2000	DBLP DOI BibTeX RDF	SOS formats, dynamic bisimulation, tile logic, Bisimulation
45	Eike Best, Raymond R. Devillers, Maciej Koutny	The Box Algebra - A Model of Nets and Process Expressions.	ICATPN	1999	DBLP DOI BibTeX RDF	Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, refinement, process algebras, recursion
39	Pablo A. Parrilo	SOS Methods for Semi-algebraic Games and Optimization.	HSCC	2005	DBLP DOI BibTeX RDF
39	Mohammad Reza Mousavi 0001, Murdoch Gabbay, Michel A. Reniers	SOS for Higher Order Processes.	CONCUR	2005	DBLP DOI BibTeX RDF	Congruence Rule Formats, Bisimulation, Formal Semantics, Congruence, Structural Operational Semantics
39	Sanae Shimizu, Kazuhiko Yamamoto, Caihua Wang, Yutaka Sato, Hideki Tanahashi, Yoshinori Niwa	Moving Object Detection with Mobile Stereo Omni-directional System (SOS) based on Motion Compensatory Inter-frame Depth Subtraction.	ICPR (3)	2004	DBLP DOI BibTeX RDF
39	Daisuke Shimada, Hideki Tanahashi, Kunihito Kato, Kazuhiko Yamamoto	Extract and Display Moving Object in All Direction by Using Stereo Omnidirectional System(SOS).	3DIM	2001	DBLP DOI BibTeX RDF
39	Rupert Howes, William Redman-White, Ken G. Nichols, Peter J. Mole, Michael J. Robinson, Simon Bird	An SOS MOSFET model based on calculation of the surface potential.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
39	Marc Shapiro 0001	SOS: a distributed object-oriented operating system.	ACM SIGOPS European Workshop	1986	DBLP DOI BibTeX RDF
38	Michel A. Reniers, Pawel Sobocinski 0001 (eds.)	Proceedings Eight Workshop on Structural Operational Semantics 2011, SOS 2011, Aachen, Germany, 5th September 2011.	SOS	2011	DBLP DOI BibTeX RDF
38	Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir	Axiomatizing GSOS with Predicates	SOS	2011	DBLP DOI BibTeX RDF
38	Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen	Formal Component-Based Semantics	SOS	2011	DBLP DOI BibTeX RDF
38	David Romero-Hernández, David de Frutos-Escrig	On the Unification of Process Semantics: Logical Semantics	SOS	2011	DBLP DOI BibTeX RDF
38	Asiri Rathnayake, Hayo Thielecke	Regular Expression Matching and Operational Semantics	SOS	2011	DBLP DOI BibTeX RDF
38	Luca Aceto, Pawel Sobocinski 0001 (eds.)	Proceedings Seventh Workshop on Structural Operational Semantics, SOS 2010, Paris, France, 30 August 2010.	SOS	2010	DBLP DOI BibTeX RDF
38	Harsh Beohar, D. E. Nadales Agut, Dirk A. van Beek, Pieter J. L. Cuijpers	Hierarchical states in the Compositional Interchange Format	SOS	2010	DBLP DOI BibTeX RDF
38	Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino	Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics	SOS	2010	DBLP DOI BibTeX RDF
38	Tobias Heindel	Structural Decomposition of Reactions of Graph-Like Objects	SOS	2010	DBLP DOI BibTeX RDF
38	Maciej Gazda, Wan J. Fokkink	Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics	SOS	2010	DBLP DOI BibTeX RDF
38	Keiko Nakata 0001, Tarmo Uustalu	Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction	SOS	2010	DBLP DOI BibTeX RDF
38	Bartek Klin, Pawel Sobocinski 0001 (eds.)	Proceedings Sixth Workshop on Structural Operational Semantics, SOS 2009, Bologna, Italy, August 31, 2009.	SOS	2009	DBLP DOI BibTeX RDF
38	Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir	A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages	SOS	2009	DBLP DOI BibTeX RDF
38	Michel A. Reniers, Tim A. C. Willemse	Analysis of Boolean Equation Systems through Structure Graphs	SOS	2009	DBLP DOI BibTeX RDF
38	Mohammad Reza Mousavi 0001	Causality in the Semantics of Esterel: Revisited	SOS	2009	DBLP DOI BibTeX RDF
38	Magnus Johansson, Björn Victor, Joachim Parrow	A Fully Abstract Symbolic Semantics for Psi-Calculi	SOS	2009	DBLP DOI BibTeX RDF
38	Gilles Dowek, César A. Muñoz, Camilo Rocha	Rewriting Logic Semantics of a Plan Execution Language	SOS	2009	DBLP DOI BibTeX RDF
38	Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale	On Barbs and Labels in Reactive Systems	SOS	2009	DBLP DOI BibTeX RDF
38	Iain C. C. Phillips, Irek Ulidowski	Reverse Bisimulations on Stable Configuration Structures	SOS	2009	DBLP DOI BibTeX RDF
38	Rob van Glabbeek, Peter D. Mosses (eds.)	Proceedings of the Third Workshop on Structural Operational Semantics, SOS 2006, Bonn, Germany, August 26, 2006	SOS	2007	DBLP BibTeX RDF
38	Luca Aceto, Wan J. Fokkink, Irek Ulidowski (eds.)	Proceedings of the Workshop on Structural Operational Semantics, SOS 2004, London, UK, August 30, 2004	SOS	2005	DBLP BibTeX RDF
38	Bin Li, Jiawang Nie, Lihong Zhi	Approximate GCDs of polynomials and SOS relaxation.	SNC	2007	DBLP DOI BibTeX RDF	SOS relaxation, global minimization, GCD
37	Claudio Antares Mezzina, Georgiana Caltais (eds.)	Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, EXPRESS/SOS 2023, and 20th Workshop on Structural Operational SemanticsAntwerp, Belgium, 18th September 2023.	EXPRESS/SOS	2023	DBLP DOI BibTeX RDF
37	Luca Aceto, Pierluigi Crescenzi, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001	The Way We Were: Structural Operational Semantics Research in Perspective.	EXPRESS/SOS	2023	DBLP DOI BibTeX RDF
37	Daniel Hirschkoff, Enguerrand Prebet	Using Pi-Calculus Names as Locks.	EXPRESS/SOS	2023	DBLP DOI BibTeX RDF
37	Thomas P. Jensen, Vincent Rebiscoul, Alan Schmitt	Deriving Abstract Interpreters from Skeletal Semantics.	EXPRESS/SOS	2023	DBLP DOI BibTeX RDF
37	Marjan Sirjani, Ehsan Khamespanah	Timed Actors and Their Formal Verification.	EXPRESS/SOS	2023	DBLP DOI BibTeX RDF
37	Shunya Oguchi, Shoji Yuen	CRIL: A Concurrent Reversible Intermediate Language.	EXPRESS/SOS	2023	DBLP DOI BibTeX RDF
37	Rob van Glabbeek, Jan Friso Groote, Erik P. de Vink	A Cancellation Law for Probabilistic Processes.	EXPRESS/SOS	2023	DBLP DOI BibTeX RDF
37	Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele	Quantifying Masking Fault-Tolerance via Fair Stochastic Games.	EXPRESS/SOS	2023	DBLP DOI BibTeX RDF
37	Ilaria Castellani, Ornela Dardha, Luca Padovani, Davide Sangiorgi	EXPRESSing Session Types.	EXPRESS/SOS	2023	DBLP DOI BibTeX RDF
37	Jos C. M. Baeten, Bas Luttik	Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract).	EXPRESS/SOS	2023	DBLP DOI BibTeX RDF
37	Rob van Glabbeek, Peter Höfner, Weiyou Wang	A Lean-Congruence Format for EP-Bisimilarity.	EXPRESS/SOS	2023	DBLP DOI BibTeX RDF
37	Valentina Castiglioni, Claudio Antares Mezzina (eds.)	Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, EXPRESS/SOS 2022, Warsaw, Poland, 12th September 2022.	EXPRESS/SOS	2022	DBLP DOI BibTeX RDF
37	Stian Lasse Lybech	Encodability and Separation for a Reflective Higher-Order Calculus.	EXPRESS/SOS	2022	DBLP DOI BibTeX RDF
37	Kirstin Peters, Nobuko Yoshida	On the Expressiveness of Mixed Choice Sessions.	EXPRESS/SOS	2022	DBLP DOI BibTeX RDF
37	Anna Philippou, Kyriaki Psara	Token Multiplicity in Reversing Petri Nets Under the Individual Token Interpretation.	EXPRESS/SOS	2022	DBLP DOI BibTeX RDF
37	Alexander Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel, Stian Lasse Lybech	A Generic Type System for Higher-Order Ψ-calculi.	EXPRESS/SOS	2022	DBLP DOI BibTeX RDF
37	Bas van den Heuvel 0001, Jorge A. Pérez 0001	Asynchronous Functional Sessions: Cyclic and Concurrent.	EXPRESS/SOS	2022	DBLP DOI BibTeX RDF
37	Silvia Crafa	From Legal Contracts to Legal Calculi: the code-driven normativity.	EXPRESS/SOS	2022	DBLP DOI BibTeX RDF
37	Clément Aubert, Ross Horne, Christian Johansen	Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus.	EXPRESS/SOS	2022	DBLP DOI BibTeX RDF
37	Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield	From CCS to CSP: the m-among-n Synchronisation Approach.	EXPRESS/SOS	2022	DBLP DOI BibTeX RDF
37	Ornela Dardha, Valentina Castiglioni (eds.)	Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics, EXPRESS/SOS 2021, and 18th Workshop on Structural Operational SemanticsParis, France (online event), 23rd August 2021.	EXPRESS/SOS	2021	DBLP DOI BibTeX RDF
37	Benjamin Bisping, Luisa Montanari	A Game Characterization for Contrasimilarity.	EXPRESS/SOS	2021	DBLP DOI BibTeX RDF
37	Manfred Schmidt-Schauß, David Sabel	Minimal Translations from Synchronous Communication to Synchronizing Locks.	EXPRESS/SOS	2021	DBLP DOI BibTeX RDF
37	Xian Xu, Wenbo Zhang	On Decidability of the Bisimilarity on Higher-order Processes with Parameterization.	EXPRESS/SOS	2021	DBLP DOI BibTeX RDF
37	Matteo Cimini, Benjamin Mourad	Language Transformations in the Classroom.	EXPRESS/SOS	2021	DBLP DOI BibTeX RDF
37	Jan Friso Groote	Infinite Choice and Probability Distributions. An Open Problem: The Real Hotel.	EXPRESS/SOS	2021	DBLP DOI BibTeX RDF
37	Eric Alsmann, Florian Bruse, Martin Lange	Separating the Expressive Power of Propositional Dynamic and Modal Fixpoint Logics.	EXPRESS/SOS	2021	DBLP DOI BibTeX RDF
37	Ornela Dardha, Jurriaan Rot (eds.)	Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, EXPRESS/SOS 2020, and 17th Workshop on Structural Operational SemanticsOnline, 31 August 2020.	EXPRESS/SOS	2020	DBLP DOI BibTeX RDF
37	Manfred Schmidt-Schauß, David Sabel	Correctly Implementing Synchronous Message Passing in the Pi-Calculus By Concurrent Haskell's MVars.	EXPRESS/SOS	2020	DBLP DOI BibTeX RDF
37	Mark Bouwman, Bas Luttik, Wouter Schols, Tim A. C. Willemse	A process algebra with global variables.	EXPRESS/SOS	2020	DBLP DOI BibTeX RDF
37	Bas Luttik	Divergence-Preserving Branching Bisimilarity.	EXPRESS/SOS	2020	DBLP DOI BibTeX RDF