Filters








129,649 Hits in 5.8 sec

Page 6694 of Mathematical Reviews Vol. , Issue 94k [page]

1994 Mathematical Reviews  
(D-MUTU-D; Munich) Compositional liveness properties of EN-systems. (English summary) Application and theory of Petri nets 1993 (Chicago, IL, 1993), 262-281, Lecture Notes in Comput.  ...  This paper introduces a compositional operator ‘changes to’ for the expression of liveness properties, where the no- tion of composition is formalized by the merging of places of Petri nets.  ... 

La méthode du riddim : esthétique, pratique et propriété dans le dancehall jamaïcain

Peter Manuel, Wayne Marshall
2017 Volume! - La revue des musiques populaires  
Emerging from a tradition of live performance practice mediated by (and informing) sound recordings, the relative autonomy of riddims and voicings in the Jamaican system challenges conventional ideas about  ...  Prolongeant une tradition où la performance live implique l’utilisation de disques (et influence en retour leur production), la relative autonomie, dans ce système, des riddims et des parties vocales  ... 
doi:10.4000/volume.5288 fatcat:xgakp34qybaylniunfqbvo2r4q

Comparing lab to field properties in CEN Type Testing for Asphalt Concrete – the NL-LAB program

Sandra Erkens, Dave van Vliet, Giorgos Seleridis, Inge van Vilsteren, Nadieh Meinen, Alieh Alipour, Jan Voskuilen, Kumar Anupam
2018 Zenodo  
The aim was to achieve a better understanding of those mechanical properties and eventually enable less prescriptive requirements for the composition while retaining well-functioning pavement materials  ...  The Netherlands adopted the approach of fundamental requirements and input target composition.  ...  This led to a long term research program that uses the Dutch road system as a living laboratory, trough long term field monitoring.  ... 
doi:10.5281/zenodo.1485082 fatcat:3zev4ucupnbrjmovhovaiokgmq

Component-Based Construction of Heterogeneous Real-Time Systems in Bip [chapter]

Joseph Sifakis
2009 Lecture Notes in Computer Science  
solutions of the same problem  ...  We need an all-encompassing component-based construction framework for Mastering complexity through componentization Enhanced verifiability by compositional reasoning Comparing different architectural  ...  D = en(p1) ∧ ¬ en(p2) ∧ en(q2) ∧ ¬ en(q1) D = en(p1) ∧ ¬ en(p2) ∧ en(q2) ∧ ¬ en(q3) ∧ en(r3) ∧ ¬ en(r1) component C satisfying a given property P, from C 0 a set of atomic components described by their  ... 
doi:10.1007/978-3-642-02424-5_1 fatcat:ptx772ywubgqlmvxfpgjashtge

Modeling and Analysis of the Landing Gear System with the Generalized Contracts [article]

Abdelkader Khouass and christian attiogbé and mohamed messabihi
2022 arXiv   pre-print
This paper describes how the Minarets method decreases the difficulty of modeling, composition and analysis of the well known case study of the landing gear system.  ...  The modeling, assembly and analysis of such open and complex heterogeneous systems are challenges in software engineering.  ...  If we focus on the analysis of the various properties, we remark that the safety, time and liveness properties were formalized and proved, but from our point of view the analysis of time and liveness properties  ... 
arXiv:2111.10426v2 fatcat:occxinz2bzb53hp4kmzx2yghx4

A Model to Design and Verify Context-Aware Adaptive Service Composition

Javier Cubo, Michele Sama, Franco Raimondi, David Rosenblum
2009 2009 IEEE International Conference on Services Computing  
2009) A model to design and verify context-aware adaptive service composition.  ...  This work was supported in part by the projects TIN2008-05932 funded by the Spanish Ministry of Science and Innovation, and P06-TIC-02250 funded by the Andalusian Government, as well as the UK Engineering  ...  Context-Aware Service Composition Once we have checked the CA-STS services of the system, we can compose them.  ... 
doi:10.1109/scc.2009.61 dblp:conf/IEEEscc/CuboSRR09 fatcat:56rxpuuvdbccvkoutucdwqey2i

TESTING HEMP HURDS COMPOSITES WITH ALTERNATIVE BINDER

Nadezda STEVULOVA, Ivana SCHWARZOVA
2017 Journal of Civil Engineering, Environment and Architecture  
The evaluation of the physical and mechanical properties of hemp hurds composites with alternative binder is given.  ...  Experimental work is focused on the study of impact of alternative binder on the selected properties of prepared lightweight composites and variation of mixtures based on hemp hurds and alternative binder  ...  The properties of hemp composites prepared with MgO-cement as alternative binder depend on the formation of M-S-H gel (phase in the system MgO-SiO 2 -H 2 O) in composite system [9] .  ... 
doi:10.7862/rb.2017.192 fatcat:gixw7oebcvatxkqliwlyiaazoq

Investigation of thiol-ene and thiol-ene–methacrylate based resins as dental restorative materials

Neil B. Cramer, Charles L. Couch, Kathleen M. Schreck, Jacquelyn A. Carioscia, Jordan E. Boulden, Jeffrey W. Stansbury, Christopher N. Bowman
2010 Dental Materials  
Results-Thiol-ene polymer systems were demonstrated to exhibit advantageous properties for dental restorative materials in regards to rapid curing kinetics, high conversion, and low shrinkage and stress  ...  Objectives-The objective of this work was to evaluate thiol-norbornene and thiol-enemethacrylate systems as the resin phase of dental restorative materials and demonstrate their superior performance as  ...  Here, this study evaluates the properties of resins intended as polymer matrices for new dental composite restoratives.  ... 
doi:10.1016/j.dental.2009.08.004 pmid:19781757 pmcid:PMC2795114 fatcat:7bbttc6kfnhjnjoyihkqgfyg34

The Unit-B method: refinement guided by progress concerns

Simon Hudon, Thai Son Hoang, Jonathan S. Ostroff
2015 Journal of Software and Systems Modeling  
Unit-B aims at the stepwise design of software systems satisfying safety and liveness properties.  ...  Based on events schedules, we propose proof rules to reason about progress properties and a refinement order preserving both liveness and safety properties.  ...  According to a survey [8] , liveness properties (in terms of existence and progress) amount to 45% of the overall system properties.  ... 
doi:10.1007/s10270-015-0456-2 fatcat:r7kcew4wpnablcbumy42n7pede

An intruder model for verifying liveness in security protocols

Jan Cederquist, Mohammad Torabi Dashti
2006 Proceedings of the fourth ACM workshop on Formal methods in security - FMSE '06  
We present a process algebraic intruder model for verifying a class of liveness properties of security protocols.  ...  These protocols all aim at a liveness requirement, namely fair exchange of valuable electronic items (money, signature, evidence etc).  ...  Safety, Liveness and the DY Intruder Properties of systems can usually be divided into two classes: safety properties (something bad will never happen) and liveness properties (something good will eventually  ... 
doi:10.1145/1180337.1180340 dblp:conf/ccs/CederquistD06 fatcat:5a44qzu2mzdz3dmnh4epcqbsy4

Composition for component-based modeling

Gregor Gössler, Joseph Sifakis
2005 Science of Computer Programming  
We propose results ensuring correctness by construction of a system from properties of its interaction model and of its components.  ...  Nevertheless, flexible composition is a partial operation. Product systems should be interaction safe in the sense that they do not violate constraints of the interaction model.  ...  such as deadlock-freedom and liveness.  ... 
doi:10.1016/j.scico.2004.05.014 fatcat:spwmhfivsvfhloycrzndxu3uda

Composition for Component-Based Modeling [chapter]

Gregor Gössler, Joseph Sifakis
2003 Lecture Notes in Computer Science  
We propose results ensuring correctness by construction of a system from properties of its interaction model and of its components.  ...  Nevertheless, flexible composition is a partial operation. Product systems should be interaction safe in the sense that they do not violate constraints of the interaction model.  ...  such as deadlock-freedom and liveness.  ... 
doi:10.1007/978-3-540-39656-7_19 fatcat:cr626nzxl5dkdn3il42br4kubu

Parametric heap usage analysis for functional programs

Leena Unnikrishnan, Scott D. Stoller
2009 Proceedings of the 2009 international symposium on Memory management - ISMM '09  
Our analysis determines and exploits monotonicity and monotonicity-like properties of bound functions to derive upper bounds on heap usage, without considering behaviors of the program that cannot lead  ...  First, the given program is automatically transformed into bound functions that describe upper bounds on the live heap space usage and other related space metrics in terms of the sizes of function arguments  ...  Introduction Analysis of the time and space requirements of computer programs is important for virtually all computer applications, especially in embedded systems, real-time systems, and interactive systems  ... 
doi:10.1145/1542431.1542451 dblp:conf/iwmm/UnnikrishnanS09 fatcat:mfx5cwbwwnduvij2nc7ipeqkz4

Page 13 of Science Education Vol. 41, Issue 1 [page]

1957 Science Education  
The chemical composition of d- living things 84.4 32 67.2 37 . 70 33.5 14. The work of the endocrine glands 84.4 32 82.3 21.5 81.3 29 22.  ...  The role of the nervous system in ter human adjustment 88.8 20.5 99.1 - 81.3 29 be- 30. The interdependence of living hat organisms 88.8 20.5 76.1 31.5 97 .6 1.5 37.  ... 

Stochastic modeling of microstructure of homopolymers and copolymers in batch reactor

Matheus Dias Carvalho, Jorge David Alguiar Beliido, Antonio Marcos de Oliveira Siqueira, Júlio Cesar Costa Campos
2020 Research, Society and Development  
The algorithm created in C ++ language determines the variation of the number of molecules of each species with time, besides the chemical composition, the sequence of mere and size of the generated chains  ...  Find the microstructure of the product generated in a reaction of polymerization is desirable from a material science standpoint, due to the association between the microstructure and the physical properties  ...  Acknowledgments The authors thank the support of the Federal University of São João Del-rei (UFSJ),  ... 
doi:10.33448/rsd-v9i2.1930 fatcat:qatuvlzb6jcgxf4iia6fecrgse
« Previous Showing results 1 — 15 out of 129,649 results