Search results for "MSOS"

Found 15 publication records. Showing 15 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
115	Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer 0001, Peter D. Mosses	Mapping Modular SOS to Rewriting Logic.	LOPSTR	2002	DBLP DOI BibTeX RDF
82	Mark G. J. van den Brand, Arjan P. van der Meer, Alexander Serebrenik	Type Checking Evolving Languages with MSOS.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
69	Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer 0001, Peter D. Mosses	Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic.	AMAST	2000	DBLP DOI BibTeX RDF
59	Peter D. Mosses	Exploiting labels in Structural Operational Semantics.	SAC	2004	DBLP DOI BibTeX RDF	MSOS, modularity, structural operational semantics, natural semantics, SOS
46	Balasubramanian Seshasayee, Ripal Nathuji, Karsten Schwan	Energy-Aware Mobile Service Overlays: Cooperative Dynamic Power Management in Distributed Mobile Systems.	ICAC	2007	DBLP DOI BibTeX RDF
46	José Meseguer 0001, Christiano Braga	Modular Rewriting Semantics of Programming Languages.	AMAST	2004	DBLP DOI BibTeX RDF
36	Subhabrata Banerjee, Sudipta Chattopadhyay 0002	Power Optimization of Three Dimensional Turbo Code Using a Novel Modified Symbiotic Organism Search (MSOS) Algorithm.	Wirel. Pers. Commun.	2017	DBLP DOI BibTeX RDF
36	Dieu T. T. Do, Jaehong Lee	A modified symbiotic organisms search (mSOS) algorithm for optimization of pin-jointed structures.	Appl. Soft Comput.	2017	DBLP DOI BibTeX RDF
36	Mira Sarkis, Cyril Concolato, Jean-Claude Dufourd	MSoS: A Multi-Screen-Oriented Web Page Segmentation Approach.	CoRR	2015	DBLP BibTeX RDF
36	Peter D. Mosses, Ferdinand Vesely	Weak Bisimulation as a Congruence in MSOS.	Logic, Rewriting, and Concurrency	2015	DBLP DOI BibTeX RDF
36	Mira Sarkis, Cyril Concolato, Jean-Claude Dufourd	MSoS: A Multi-Screen-Oriented Web Page Segmentation Approach.	DocEng	2015	DBLP DOI BibTeX RDF
36	Fabricio Chalub, Christiano Braga	Maude MSOS Tool.	WRLA	2006	DBLP DOI BibTeX RDF
23	Richard W. Neill, Alexander Shabarshin, Luca P. Carloni	A heterogeneous parallel system running open mpi on a broadband network of embedded set-top devices.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	multiple service operators, multiple sequence alignment, distributed embedded systems, mpi, set-top box
23	André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante	An Implementation of Object-Oriented Action Semantics in Maude.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
23	Stephane R. Teral	Deregulation: one line, multiple services and technological diversity.	NOMS	1998	DBLP DOI BibTeX RDF