Results 271 to 280 of about 1,643,554 (351)

Understanding the effects of timber rich workplaces on occupants perceived productivity and health: a pilot study. [PDF]

Sci Rep
Whyte S, Skillington K, Candido C, Zhang Y, Fatourehchi D, Finlay S, Chan HF, Kaburagi R, McDonnell KJ, Viana MR, Sarnyai Z.   +10 more
europepmc   +1 more source

Drug recall, its frequencies and conclusion: a retrospective secondary analysis involving 2-year publicly available data from Nepal. [PDF]

Ther Adv Drug Saf
Barma S, Pathak N, Dhungana S, Jha PK, Shrestha S.   +4 more
europepmc   +1 more source

Orchestrating Embodied Systems through the Embodied Context Protocol: Motivation, Progress, and Directions. [PDF]

Research (Wash D C)
Ma F, Li D, Chen Y, Xing J, Liu Y, Lan D, Shao J, Pang Z.   +7 more
europepmc   +1 more source

Comparing Formal Specification Languages

, 2005
Frank van Harmelen, Ramón López de Mántaras, Jacek Malec, Jan Treur   +3 more
openalex   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Formal Specification Level

Proceeding of the 2012 Forum on Specification and Design Languages, 2013
Rolf Drechsler, Mathias Soeken, Robert Wille   +2 more
openaire   +2 more sources

Formal Requirements Specification

Proceedings of the 2020 9th International Conference on Software and Information Engineering (ICSIE), 2020
Model Driven Software Engineering (MDSE) has become a widely adopted approach in software development industry. Besides other software development phases, specifying requirements formally, is a crucial activity for developing model based software systems.
Misbah Mehboob Awan, Farooque Azam, Muhammad Waseem Anwar, Yawar Rasheed   +3 more
openaire   +1 more source

formal specification

Proceedings of the Conference on The Future of Software Engineering, 2000
Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety of settings. Their industrial use is still limited but has been steadily growing. After recalling the essence,role, usage, and pitfalls of formal specification, the paper reviews the main specification paradigms to date and ...
openaire   +2 more sources

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

IEEE Computer Security Foundations Symposium, 2018
A developing field of interest for the distributed systems and applied cryptography communities is that of smart contracts: self-executing financial instruments that synchronize their state, often through a blockchain. One such smart contract system that
Everett Hildenbrandt, M. Saxena, Nishant Rodrigues, Xiaoran Zhu, Philip Daian, Dwight Guth, Brandon M. Moore, D. Park, Yi Zhang, Andrei Stefanescu, Grigore Roşu   +10 more
semanticscholar   +1 more source