Filters








71,201 Hits in 2.0 sec

Liveness with Invisible Ranking [chapter]

Yi Fang, Nir Piterman, Amir Pnueli, Lenore Zuck
2004 Lecture Notes in Computer Science  
Liveness properties usually require well founded ranking, and do not fall within the scope of the small model theorem.  ...  The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically.  ...  Formula The Method of Invisible Ranking In this section we present a new proof rule for liveness properties of an FBDS that allows, in some cases, to obtain an automatic verification of liveness properties  ... 
doi:10.1007/978-3-540-24622-0_19 fatcat:4mdxlyk63jbivl6pclhweysk2m

Liveness with invisible ranking

Yi Fang, Nir Piterman, Amir Pnueli, Lenore Zuck
2006 International Journal on Software Tools for Technology Transfer (STTT)  
Liveness properties usually require well founded ranking, and do not fall within the scope of the small model theorem.  ...  The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically.  ...  Formula The Method of Invisible Ranking In this section we present a new proof rule for liveness properties of an FBDS that allows, in some cases, to obtain an automatic verification of liveness properties  ... 
doi:10.1007/s10009-005-0193-x fatcat:nvbskez7vfdwxdf5jpwfd2ik3y

Invisible Web and Academic Research: A Partnership for Quality

Huda Y. Alyami, Eman A. Assiri
2018 International Education Studies  
They also agreed on the obstacles of using invisible web for the improvement of academic research, with an arithmetic means of 4.107.  ...  It concluded that the participants agreed on the role of the invisible web in improving academic research, with an arithmetic means of 3.91.  ...  In this context, the present study stresses the roles of the invisible web in improving academic research and the obstacles of its use in this regard.  ... 
doi:10.5539/ies.v11n4p84 fatcat:b4f55dx355dl7opnwihfbrei6q

ACADEMIC SEARCH ENGINES : LIBRARIAN'S FRIEND, RESEARCHER'S DELIGHT

Rupak Chakravarty, Sukhwinder Randhawa
2019 Zenodo  
They display the results of the searches made in readily-comprehensible manner with lots of customization possibilities including refining and sorting.  ...  This paper is an attempt to analyze qualitatively and quantitatively the three most used and popular search engines for academic resource discovery: Google Scholar, Scirus and Windows Live Academic.  ...  Windows Academic Live is still in Beta stage and only time can tell how it matures with the passage of time.  ... 
doi:10.5281/zenodo.2575661 fatcat:4ho5ckpdgnh7vidzjqtf6rkky4

Liveness by Invisible Invariants [chapter]

Yi Fang, Kenneth L. McMillan, Amir Pnueli, Lenore D. Zuck
2006 Lecture Notes in Computer Science  
It is often the case that the inductive invariants for systems with "liveness monitors" contain assertions of a certain form that the original method of invisible invariant is not able to generate, nor  ...  With a "liveness monitor" that observes certain behavior of a system, establishing "bounded response" properties over the system is reduced to the verification of invariant properties.  ...  For protocols that cannot be proven with such restricted assertions, [FPPZ04a] extends the method of invisible ranking by allowing helpful assertions (and ranking functions) belonging to transitions  ... 
doi:10.1007/11888116_26 fatcat:mr5ph4prsvgl3gm6zmxhufhtvm

Page 272 of The Hibbert Journal : A Quarterly Review of Religion, Theology and Philosophy Vol. 16, Issue 2 [page]

1917 The Hibbert Journal : A Quarterly Review of Religion, Theology and Philosophy  
272 THE HIBBERT JOURNAL has a cosmic significance which goes far beyond His creative operation in human lives.  ...  So at the head of Plato’s invisible world, as its author and source, and, therefore, mediately through the lower ranks of Ideas, author and source of the visible world as well, stands the supreme Idea,  ... 

Page 2 of National Review Vol. 2, Issue 4 [page]

1856 National Review  
Principles not inconsistent with Universal Christian Sympathy—Church Education. “ Present a richer combination of the qualities for Sermons of the first class than any we have mel with ia any living writer  ...  —Nortu Britisu Revirw, Feb. 1856. “ May justly take rank with the first writings in our language.” —THEOLOGIAN. “An eminent divine and a profound thinker.””  ... 

Page 288 of American Journal of Pharmacy and the Sciences Supporting Public Health Vol. 104, Issue 4 [page]

1932 American Journal of Pharmacy and the Sciences Supporting Public Health  
Nicholas Metalnikov, and found to confer upon the filtered water the power to destroy living bacteria.  ...  Even the rank tobacco grown in the German Palatinate is said to be rendered smok- able by it—(Science Service.)  ... 

Page 435 of The Methodist Review Vol. 51, Issue 3 [page]

1869 The Methodist Review  
The Jews assigned various ranks to the beings of the invisible world ; and they were doubtless correct in assuming the exist- ence of ranks and orders, though we have no reason to imag- ine that their  ...  Personi- fied life is armed with terrible dangers, and death is the very king of terrors. Wor angels nor principalities—Two potencies of living agents in the supersensible spiritual world.  ... 

Mapping review networks: Exploring research community roles and contributions

Alesia Zuccala, Peter Van Den Besselaar
2009 Scientometrics  
As scholars are characterized by different roleconfigurations, the invisible college becomes stratified.  ...  This is one of the voluntary activities that researchers perform as a prerequisite for the functioning of the invisible college.  ...  The names highlighted in the ranked list are authors from her invisible college/specialty network.  ... 
doi:10.1007/s11192-008-2136-2 fatcat:odrigcngwvanxpk4i77momqktu

Page 78 of Forum and Century Vol. 73, Issue 1 [page]

1925 Forum and Century  
it should be dignified and classified as a science, — worthy of taking its place in the front rank of human progress together with all the other branches of scientific research.  ...  Calcium sulphide screens have been tested to show the presence and activity of invisible bodies or energies.  ... 

Visualizing the Mental City: The Exploration of Cultural and Subjective Topographies by Contemporary Performance Artists in Johannesburg

Siegenthaler
2013 Research in African Literatures  
Boeck (2002 and 2005) demonstrated the meaning of the "invisible city" as social imaginary that helps to cope with an urban context of infrastructural and political neglect, as is the case in Kinshasa  ...  to this invisible world.  ...  Crime itself is a rather invisible threat associated with criminal individuals whom average citizens try to avoid.  ... 
doi:10.2979/reseafrilite.44.2.163 fatcat:c77a2txm5jhqtfavgift7nny4u

Page 55 of Rambler; A Catholic Journal and Review of Home and Foreign Literature Vol. 6, Issue Part XXXI [page]

1850 Rambler; A Catholic Journal and Review of Home and Foreign Literature  
and teachers, And such, we are convinced, is the experience of Catholics of all ranks, of every age and every degree of intellectual cultivation, who study religiously the miraculous lives of the Saints  ...  ‘They will impress upon our minds with an intensity peculiarly their own, the reality of the invisible world and the ensnaring tendencies of every thing that we possess.  ... 

Page 55 of Rambler; A Catholic Journal and Review of Home and Foreign Literature Vol. 6, Issue 31 [page]

1850 Rambler; A Catholic Journal and Review of Home and Foreign Literature  
and teachers, And such, we are convinced, is the experience of Catholics of all ranks, of every age and every degree of intellectual cultivation, who study religiously the miraculous lives of the Saints  ...  They will impress upon our minds with an intensity peculiarly their own, the reality of the invisible world and the ensnaring tendencies of every thing that we possess.  ... 

Liveness with Incomprehensible Ranking [chapter]

Yi Fang, Nir Piterman, Amir Pnueli, Lenore Zuck
2004 Lecture Notes in Computer Science  
This enables us to apply the Invisible Ranking method to parameterized systems with ring topologies.  ...  The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic manner.  ...  In [10] we extended the method of invisible invariants to invisible ranking, by applying the method for automatic generation of auxiliary assertions to general assertions (not necessarily invariant),  ... 
doi:10.1007/978-3-540-24730-2_36 fatcat:jg6h4dnkczgrtgydd6yqvr5zme
« Previous Showing results 1 — 15 out of 71,201 results