Filters








75,654 Hits in 3.8 sec

Is My Attack Tree Correct? [chapter]

Maxime Audinot, Sophie Pinchinat, Barbara Kordy
2017 Lecture Notes in Computer Science  
The goal of this work is to provide a framework allowing to express and check whether an attack tree is consistent with the analyzed system.  ...  We formulate the correctness properties of an attack tree with respect to a system and study the complexity of the corresponding decision problems.  ...  Our method to evaluate the correctness of an attack tree is to check Admissibility and the (global) Meet property.  ... 
doi:10.1007/978-3-319-66402-6_7 fatcat:zqml2f55ubayjfxju6wtaxjugm

Is my attack tree correct? Extended version [article]

Maxime Audinot, Sophie Pinchinat, Barbara Kordy
2018 arXiv   pre-print
The goal of this work is to provide a framework allowing to express and check whether an attack tree is consistent with the analyzed system.  ...  We formulate the correctness properties of an attack tree with respect to a system and study the complexity of the corresponding decision problems.  ...  Our method to evaluate the correctness of an attack tree is to check Admissibility and the (global) Meet property.  ... 
arXiv:1706.08507v4 fatcat:yjecg7nomfharaq6ogekoudzpy

Correction

1963 BMJ (Clinical Research Edition)  
For the past five months she had had attacks of pain in the abdomen after swallowing earth.  ...  Manch (September 14, p. 687) is clearly a perfectionist, and whilst I admit that I have told my two children-of about the same age-that to run out into the road without looking both ways, or fiddling with  ... 
doi:10.1136/bmj.2.5361.872-e fatcat:g6pjk2adgjfdxnvsg7juitewem

CORRECTED REFERENCE

Joseph Zubin, Jean Endicott
1970 Contemporary Psychology  
Wundt first attacked this pro- gram in an Philoso phische Studien (1883), which Esper doesn’t men- tion.  ...  The book is not too narrow a coverage. been re- what the subtitle proclaims (Bloomfield’s sources), as stated in my review, rather than taking on Chom- sky and indulging some similar digressions This is  ... 
doi:10.1037/009949 fatcat:kxoouiupefhdpks45bk2udnsva

Correction

1949 Science  
A new scientific journal, aimed to provide southeastern engineers and scientists with their own medium for attacking common problems and re- cording research results, is to appear in January.  ...  : In ‘‘Radiocardiogr, : phy: A New Method for Studying th] the Heart in Human Beings,’’ by My ron Prinzmetal, et al.  ... 
doi:10.1126/science.109.2819.26 pmid:17799522 fatcat:pufgi7pwu5efjabx2vebkjcqbq

A Correction

1902 BMJ (Clinical Research Edition)  
Most vivid is the recollection of the sudden rise in the volume of their noise and the equally sudden attack on the face as they promptly answered ihe invitation.  ...  -It is against the rules of the Post Office to receive letters at Po8tes Restantes addressed either in initials or numbers. A CORRECTION. MR. Hu(n G. McKINNEY, of St.  ... 
doi:10.1136/bmj.1.2140.64 fatcat:vvwe2hcvxngdvb3gygl4wjn5dq

CORRECTION

2005 Emergency Medicine Journal  
I enjoy my creature comforts at least as much as the next man (or woman).  ...  Why, then, had I ended up in the woods in the cold and dark, lugging someone on a stretcher (that we had to make ourselves) over ditches and between trees?  ... 
doi:10.1136/emj.2004.18002corr1 fatcat:hcxqr4ijivhpffcvt4sufysnby

The Peach Sawfly: A Correction

B. H. Walden
1908 Journal of Economic Entomology  
The own.ers of the orchard in Yalesville where the insect was first found, sprayed over four thousand peach trees during the past season with arsenate of lead and water, using three pounds in fifty gallons  ...  Following the article, Notes on a New Sawfly Attacking Peach, in Bulletin 67 of the Bureau of Entomology, page 87, is a note regarding the occurrence of this insect in New Jersey and Pennsylvania.  ...  Weed gave the length of the pupal life as being about a fortnight, while in my records I found the pupal period to be six days. Mr.  ... 
doi:10.1093/jee/1.2.160 fatcat:dspsmqeza5gx5gxr744eobgp5a

Bence-Jones Proteinuria: Correction

1927 BMJ (Clinical Research Edition)  
.," who is at presenit practising in the Far East, inqtuires wlhether a ship suirgeoni, whose wife anid children live in the Clhanniiel Islanlds, wvotld be liable for British itncome tax when servin, inh  ...  BENCE-JONES PROTEINURIA: CORRECTION. DR.  ...  ." * * The inspector's statemienit is correct, buit it does not cover the obsoe1:cence allowanice, wlhiclh is a specific statuitory allovauce somewhlat similar in effect to, buLt (listilnct from, the"cost  ... 
doi:10.1136/bmj.1.3463.946 fatcat:6haf4gzfzrhhbbvtpbzcrhrpbu

CORRECTIONS TO MR. GUNTHORP'S SUMMARY OF WOOD'S MYRIOPODA PAPERS

1920 Canadian Entomologist  
Practically all the limbs had been removed from these small trees, so the larvz had attacked the main part of the trees.  ...  CORRECTIONS TO MR. GUNTHORP'S SUMMARY O F WOOD'S MYRIOPODA PAPERS.  ... 
doi:10.4039/ent52202-9 fatcat:rd7dxmhm7vhzlamvyimhdb5rje

The Importance of Correct Placing of the Voice

Basil Crump, Charles Tree
1922 The Musical Times  
He has publicly attacked that simplicity I am advocating, which is merely the ease of obtaining the bel canto. I now therefore make Mr.  ...  I have not named this all-important muscle because I consider it is my latest teacher's discovery, and I have paid for my own use of it. Let those who think it worth while do likewise.  ... 
doi:10.2307/909752 fatcat:vnuep2z2qbh5tklq4i3r3wjw7a

Song of the Kentucky Warbler Geothlypis formosa, a Correction

Frank L. Burns
1901 Wilson bulletin  
SONG OF THE KENTUCKY WARBLER Geothlypis Jormosa, A CORRECTION.  ...  The other day, as I sat in the edge of the woods rather idly watching the tree-tops for the Warblers, the actions of a female Redstart arrested my attention. Instead of feeding it seemed  ... 
fatcat:cdlbjw2knrgwzniluksnjljemq

Correction

1999 British Journal for the History of Science  
The Jesuit modernist George Tyrrell, writing in the early years of the twentieth century, borrowed Darwin's metaphor of a branching tree : The universe is like a great tree, that pushes out its branches  ...  This part is more in the well-known tradition of highly technical books on the history of mathematics that still dominate the field. This brings me to my main criticism.  ... 
doi:10.1017/s0007087499293612 fatcat:vnjqejxfajd6bpgtwbs2xe6r4q

The Correct Name for the Mimosa Webworm (Lepidoptera: Glyphipterygidae)

J. F. Gates Clarke
1968 Annals of the Entomological Society of America  
In general it would perhaps be best to use (3) when several trees are sampled and (1) when interest is centered on a single tree or when the sample size is small.  ...  The correct name for the mimosa webworm, therefore, is: Homadaula anisocentra Meyrick.  ... 
doi:10.1093/aesa/61.1.228 fatcat:o5xnthi7kfcjjpq7tlpkixpdg4

Correct-by-construction pretty-printing

Nils Anders Danielsson
2013 Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming - DTP '13  
A new approach to correct-by-construction pretty-printing is presented.  ...  The main novelty is that dependent types are used to ensure that, for each value, the constructed document is correct with respect to the value and a given grammar.  ...  Grammatical Correctness My correctness proof is straightforward.  ... 
doi:10.1145/2502409.2502410 dblp:conf/icfp/Danielsson13 fatcat:62qcb3l6yramnc3rfujvyj5jfu
« Previous Showing results 1 — 15 out of 75,654 results