Search results for "algebraic language"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Shazzad Hosain, Hasan M. Jamil	An Algebraic Language for Semantic Data Integration on the Hidden Web.	ICSC	2009	DBLP DOI BibTeX RDF
2	Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla	An example of performance evaluation by using the stochastic process algebra: ROSA.	RTCSA	2000	DBLP DOI BibTeX RDF	ROSA, algebraic language, performance indexes, Reasoning On Stochastic Algebras, average time to send a message, performance evaluation, performance evaluation, fault tolerance, real-time systems, formal methods, temporal logic, case studies, specification languages, process algebra, algebraic specification, stochastic process algebra, real-time requirements, designs specifications, Alternating Bit Protocol, temporal requirements
2	Wolfgang A. Halang, Bernd J. Krämer	Safety Assurance in Process Control.	IEEE Software	1994	DBLP DOI BibTeX RDF	safety assurance, PLC software safety, safety-critical control, algebraic language, Obj3 system, functional programming environment, formal specification, formal specifications, formal verification, formal verification, functional programming, software reliability, safety, interpreter, requirements specification, process control, data representation, programmable logic controllers, programmable controllers, design specification, specification testing, Obj, function blocks, process computer control
1	Mingsheng Ying, Yuan Feng	An Algebraic Language for Distributed Quantum Computing.	IEEE Trans. Computers	2009	DBLP DOI BibTeX RDF
1	Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko	Towards Formal Verification of ToolBusScripts.	AMAST	2008	DBLP DOI BibTeX RDF
1	Maria L. Pelayo, Fernando L. Pelayo, Fernando Cuartero, Valentin Valero, Gregorio Díaz, Elena Nieto	Does ROSA provide a good view of the Memorizing Process?	IEEE ICCI	2007	DBLP DOI BibTeX RDF
1	Muhammad Torabi Dashti, Srijith Krishnan Nair, Hugo L. Jonker	Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme.	FSEN	2007	DBLP DOI BibTeX RDF
1	Eugene W. Stark, Rance Cleaveland, Scott A. Smolka	Probabilistic I/O Automata: Theories of Two Equivalences.	CONCUR	2006	DBLP DOI BibTeX RDF	process equivalences, continuous-time Markov chains, equational theories, stochastic process algebras, complete axiomatizations
1	Troels Andreasen, Henrik Bulskov, Rasmus Knappe	On Automatic Modeling and Use of Domain-Specific Ontologies.	ISMIS	2005	DBLP DOI BibTeX RDF
1	Jun Pang, Jaco van de Pol, Miguel Valero Espada	Abstraction of Parallel Uniform Processes with Data.	SEFM	2004	DBLP DOI BibTeX RDF
1	Peter Gammie, Ron van der Meyden	MCK: Model Checking the Logic of Knowledge.	CAV	2004	DBLP DOI BibTeX RDF
1	Michael J. Butler, Carla Ferreira	An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions.	COORDINATION	2004	DBLP DOI BibTeX RDF
1	Tim A. C. Willemse	Embeddings of Hybrid Automata in Process Algebra.	IFM	2004	DBLP DOI BibTeX RDF	CRLt, Real-Time Systems, Hybrid Systems, Process Algebra, Expressive Power, Hybrid Automata
1	Eugene W. Stark, Rance Cleaveland, Scott A. Smolka	A Process-Algebraic Language for Probabilistic I/O Automata.	CONCUR	2003	DBLP DOI BibTeX RDF
1	Stefan Blom, Natalia Ioustinova, Natalia Sidorova	Timed Verification with µCRL.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	modelling, model checking, verification, discrete time, CRL
1	Jun Pang, Bart Karstens, Wan Fokkink	Analyzing the Redesign of a Distributed Lift System in UPPAAL.	ICFEM	2003	DBLP DOI BibTeX RDF
1	Valentín Valero Ruiz, Juan José Pardo, Fernando Cuartero	Translating TPAL Specifications into Timed-Arc Petri Nets.	ICATPN	2002	DBLP DOI BibTeX RDF
1	Jun Pang	Analysis of a Security Protocol in µCRL.	ICFEM	2002	DBLP DOI BibTeX RDF
1	Alessandro Aldini, Marco Bernardo, Roberto Gorrieri, Marco Roccetti	Comparing the QoS of Internet audio mechanisms via formal methods.	ACM Trans. Model. Comput. Simul.	2001	DBLP DOI BibTeX RDF	Internet audio mechanisms, quality of service, software tools, case studies, discrete event simulation, stochastic process algebras
1	David Kinny	The Psi Calculus: An Algebraic Agent Language.	ATAL	2001	DBLP DOI BibTeX RDF
1	Gianna Reggio, Maura Cerioli, Egidio Astesiano	Towards a Rigorous Semantics of UML Supporting Its Multiview Approach.	FASE	2001	DBLP DOI BibTeX RDF
1	David Kinny	Reliable Agent Computation: An Algebraic Approach.	PRIMA	2001	DBLP DOI BibTeX RDF
1	Hubert Garavel, César Viho, Massimo Zendri	System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation.	STTT	2001	DBLP DOI BibTeX RDF	Verification, Formal specification, Testing, Formal methods, Validation, Code generation, Computer architecture, Test generation, Rapid prototyping, Process algebra, Conformance testing, Cache coherency, System level design, Co-design, lotos, Hardware design, Co-simulation, numa, cc-numa
1	Paul Dechering, Izak van Langevelde	On the Verification of Coordination.	COORDINATION	2000	DBLP DOI BibTeX RDF
1	Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Läufer	A Constraint-Based Framework for Prototyping Distributed Virtual Applications.	CP	2000	DBLP DOI BibTeX RDF
1	Oliver Diessel, George J. Milne	Compiling Process Algebraic Descriptions into Reconfigurable Logic.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
1	Gerald Sommer, Bodo Rosenhahn, Yiwen Zhang	Pose Estimation Using Geometric Constraints.	Theoretical Foundations of Computer Vision	2000	DBLP DOI BibTeX RDF
1	Gabriel M. Kuper, Jianwen Su	A Representation Independent Language for Planar Spatial Databases with Euclidean Distance.	DBPL	1999	DBLP DOI BibTeX RDF
1	Fritz Schwarz	ALLTYPES: An ALgebraic Language and TYPE System.	AISC	1998	DBLP DOI BibTeX RDF
1	Teodor Rus, Tom Halverson, Eric Van Wyk, Robert Kooima	An Algebraic Language Processing Environment.	AMAST	1997	DBLP DOI BibTeX RDF
1	David von Oheimb, Thomas F. Gritzner	RALL: Machine-Supported Proofs for Relation Algebra.	CADE	1997	DBLP DOI BibTeX RDF	interactive and automatic theorem proving, atom structure, Relation algebra, Isabelle
1	Peter A. Boncz, Fred Kwakkel, Martin L. Kersten	High Performance Support for OO Traversals in Monet.	BNCOD	1996	DBLP DOI BibTeX RDF	Database programming languages Database architectures, Database Techniques, Performance, Benchmarking, Object oriented databases, Parallel Systems
1	Massimiliano Goldwurm	Random Generation of Words in an Algebraic Language in Linear Binary Space.	Inf. Process. Lett.	1995	DBLP DOI BibTeX RDF
1	Bhed Bahadur Bista, Atsushi Togashi, Norio Shiratori	Extension of protocol synthesis to structured entities.	ICNP	1995	DBLP DOI BibTeX RDF
1	Maguelonne Teisseire, Rosine Cicchetti	An Algebraic Language for Event-Driven Modelling.	DEXA	1994	DBLP DOI BibTeX RDF
1	Arend Rensink, Heike Wehrheim	Weak Sequential Composition in Process Algebras.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Stephen Gilmore, Jane Hillston	The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling.	Computer Performance Evaluation	1994	DBLP DOI BibTeX RDF
1	Joachim Parrow	Structural and Behavioural Equivalences of Networks.	ICALP	1990	DBLP DOI BibTeX RDF
1	Ralf Hartmut Güting, Roberto Zicari, David M. Choy	An Algebra for Structured Office Documents.	ACM Trans. Inf. Syst.	1989	DBLP DOI BibTeX RDF
1	Edwin McKenzie	An Algebraic Language for Query and Update of Temporal Databases		1988	RDF
1	Bogdan D. Czejdo, Ramez Elmasri, Marek Rusinkiewicz, David W. Embley	An algebraic language for graphical query formulation using an extended entity-relationship model.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
1	L. Edwin McKenzie, Richard T. Snodgrass	Extending the Relational Algebra to Support Transaction Time.	SIGMOD Conference	1987	DBLP DOI BibTeX RDF
1	Antonella Di Stefano, Michele Malgeri, Orazio Mirabella	A specification of a PROWAY protocol with an Algebraic language.	PSTV	1985	DBLP BibTeX RDF
1	Matthew Hennessy, Robin Milner	Algebraic Laws for Nondeterminism and Concurrency	J. ACM	1985	DBLP DOI BibTeX RDF
1	Günter Hotz	Outline of an Algebraic Language Theory.	MFCS	1984	DBLP DOI BibTeX RDF
1	John Fitch, Julian A. Padget	A Pure and Really Simple Initial Functional Algebraic Language.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Robert Demolombe	Generalized Division for Relational Algebraic Language.	Inf. Process. Lett.	1982	DBLP DOI BibTeX RDF
1	Helmut Alt, Kurt Mehlhorn	Complexity arguments in algebraic language theory.	ITA	1979	DBLP BibTeX RDF
1	Robert Townsend	A Decidability Result in Algebraic Language Theory.	Mathematical Systems Theory	1975	DBLP DOI BibTeX RDF
1	Robert Balzer, David J. Farber	APAREL - A parse-request language.	Commun. ACM	1969	DBLP DOI BibTeX RDF	string processing, pattern matching, translator, syntax, symbol manipulation, text processing, parser, BNF, PL/I
1	John W. Carr, Jerome Welland	A nonrecursive method of syntax specification.	Commun. ACM	1966	DBLP DOI BibTeX RDF
1	Jack B. Dennis, Earl C. Van Horn	Programming semantics for multiprogrammed computations.	Commun. ACM	1966	DBLP DOI BibTeX RDF
1	Norman Bush	Statistical programs at the University of North Carolina.	Commun. ACM	1961	DBLP DOI BibTeX RDF
1	Joseph W. Smith	Syntactic and Semantic Augments to ALGOL.	Commun. ACM	1960	DBLP DOI BibTeX RDF
1	W. R. Brittenham, K. Clark, G. Kuss, H. Thompson	SALE, a Simple Algebraic Language for Engineers.	Commun. ACM	1959	DBLP DOI BibTeX RDF
1	Julien Green	Possible Modifications to the International Algebraic Language.	Commun. ACM	1959	DBLP DOI BibTeX RDF
1	John W. Backus	The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference.	IFIP Congress	1959	DBLP BibTeX RDF
1	Alan J. Perlis, Klaus Samelson	Preliminary Report-International Algebraic Language.	Commun. ACM	1958	DBLP DOI BibTeX RDF