Results 91 to 100 of about 86,663 (296)

Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking

, 2011
The adoption of algebraic specification/formal method techniques by the networks' research community is happening slowly but steadily. We work towards a software environment that can translate a protocol's specification, from Abstract Syntax Notation One
Barlas, Konstantinos, Koletsos, George, Stefaneas, Petros   +2 more
core  

Algebraic specification of reactive systems

Theoretical Computer Science, 1996
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Invariant Measure and Universality of the 2D Yang–Mills Langevin Dynamic

Communications on Pure and Applied Mathematics, EarlyView.
ABSTRACT We prove that the Yang–Mills (YM) measure for the trivial principal bundle over the two‐dimensional torus, with any connected, compact structure group, is invariant for the associated renormalised Langevin dynamic. Our argument relies on a combination of regularity structures, lattice gauge‐fixing and Bourgain's method for invariant measures ...
Ilya Chevyrev, Hao Shen
wiley   +1 more source

TECHNOLOGY MAPPING TOOL FOR VLSI CAD

Informatika, 2017
Technology mapping program implements a sequential circuit using the gates of a particular technology library. It is an integral component of any automated VLSI circuit design flow.
D. I. Cheremisinov
doaj  

An algebraic basis for specifying and enforcing access control in security systems [PDF]

, 2000
Security services in a multi-user environment are often based on access control mechanisms. Static aspects of an access control policy can be formalised using abstract algebraic models.
Pahl, Claus
core  

Kinetic Contribution to the Arbitrary Order Odd Frequency Moments of the Dynamic Structure Factor

Contributions to Plasma Physics, EarlyView.
ABSTRACT An exact expression is derived for the kinetic contribution to the odd (arbitrary order) frequency moments of the dynamic structure factor via a finite summation that features averages of even (all lower orders) powers of the momentum over the exact momentum distribution.
Panagiotis Tolias, Tobias Dornheim, Jan Vorberger   +2 more
wiley   +1 more source

Una coinstitución para la lógica de comportamiento abstracto

Revista Integración, 2014
Recientemente, la especificación de un problema en ciencias de la computación –un paso intermedio entre el problema dado y su aplicación como un sistema de software que garantiza su solución– utiliza el álgebra universal y la teoría de coálgebras para
Jaime Andrés Castaño Perea, Guillermo Ortiz Rico   +1 more
doaj  

Otimização no planejamento agregado de produção em indústrias de processamento de suco concentrado congelado de laranja Optimization in the aggregate production planning in frozen concentrated orange juice processing industry

Gestão & Produção, 2010
Neste trabalho apresentam-se modelos de programação linear e programação por metas para apoiar decisões no processo de planejamento agregado da produção de suco concentrado congelado de laranja, com múltiplos produtos, estágios e períodos.
José Renato Munhoz, Reinaldo Morabito
doaj   +1 more source

On observational equivalence and algebraic specification

Journal of Computer and System Sciences, 1987
See the review of the preliminary version in Lect. Notes Comput. Sci. 185, 308-322 (1985; Zbl 0563.68017).
Donald Sannella, Andrzej Tarlecki
openaire   +1 more source

Local realities, global discourses and decolonising the curriculum in a post‐92 UK context: Academic voices on enacting decolonial curriculum change

The Curriculum Journal, EarlyView.
Abstract This study explored how lecturers in a post‐92 UK university conceptualise and enact decolonial curriculum principles within their teaching and programme design. Drawing on semi‐structured interviews with academic staff across multiple disciplines, the research adopts a qualitative, phenomenologically informed approach to examine the interplay
Reece Sohdi
wiley   +1 more source