Filters








10,500 Hits in 4.8 sec

Deducing Security Goals From Shape Analysis Sentences [article]

John D. Ramsdell
<span title="2018-02-05">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Guttman presented a model-theoretic approach to establishing security goals in the context of Strand Space theory.  ...  In his approach, a run of the Cryptographic Protocol Shapes Analyzer (CPSA) produces models that determine if a goal is satisfied.  ...  Using Horn clauses for analyzing security protocols.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1204.0480v4">arXiv:1204.0480v4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cetsaf7zvvefdar47ymw5zkw54">fatcat:cetsaf7zvvefdar47ymw5zkw54</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200914034018/https://arxiv.org/pdf/1204.0480v4.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fc/38/fc388e19d084a5e62a9e98d4282476bf6b1dd281.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1204.0480v4" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Proving Security Goals With Shape Analysis Sentences [article]

John D. Ramsdell
<span title="2014-03-14">2014</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
The result is a semantically rich environment in which the validity of a security goal can be determined using shape analysis sentences and the foundation on which they are based.  ...  The paper that introduced shape analysis sentences presented a method for extracting a sentence in first-order logic that completely characterizes a run of CPSA.  ...  Given a shape analysis sentence, a security goal is achieved if the goal can be deduced from the sentence. cpsa includes a Prolog program that translates shape analysis sentences into Prover9 [11] syntax  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1403.3563v1">arXiv:1403.3563v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/b7t7m5gtgvfohnjrrhoitktzea">fatcat:b7t7m5gtgvfohnjrrhoitktzea</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200825174134/https://arxiv.org/pdf/1403.3563v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e6/58/e658e65eced33df0992b2d8751ee1f203e3d4a90.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1403.3563v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Homomorphisms and Minimality for Enrich-by-Need Security Analysis [article]

Daniel J. Dougherty and Joshua D. Guttman and John D. Ramsdell
<span title="2018-04-19">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Our analysis follows the enrich-by-need paradigm, in which models of protocol execution are generated and examined.  ...  LPA uses two programs, cooperating with each other: CPSA, a well-known system for protocol analysis, and Razor, a model-finder based on SMT technology.  ...  We regard the shape analysis as a security goal achieved by G ∪ T h(Π). Thus, finding a finite set of finite shapes determines a strongest security goal that the system achieves.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1804.07158v1">arXiv:1804.07158v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/adpji3ailnhkfnopcbq5jdlpne">fatcat:adpji3ailnhkfnopcbq5jdlpne</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191016180708/https://arxiv.org/pdf/1804.07158v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2d/dc/2ddc1b1f8d75e9ec171df1cb1639939d99b9d1f5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1804.07158v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

A Hybrid Analysis for Security Protocols with State [article]

John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe
<span title="2014-06-16">2014</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
As a case study we give a full analysis of the Envelope Protocol, due to Mark Ryan.  ...  We define a hybrid analysis method. It leverages theorem-proving---in this instance, the PVS prover---for reasoning about computations over state.  ...  From a state analysis sentence and bridge lemmas, we deduce conclusions about all compatible bundles of Π and . Thm. 4 was an example. These theorems may already establish our security goals. 5.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1404.3899v2">arXiv:1404.3899v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rqly23p52baopntch3srghc3p4">fatcat:rqly23p52baopntch3srghc3p4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200825095751/https://arxiv.org/pdf/1404.3899v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fa/04/fa04d9ea9c4dfdac69ef5d40693da4c0afdf0303.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1404.3899v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Damaska and the Faces of International Criminal Justice

B. Swart
<span title="2008-03-01">2008</span> <i title="Oxford University Press (OUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/onhr7j25ajf7zd7t2ldl6wdwnu" style="color: black;">Journal of International Criminal Justice</a> </i> &nbsp;
Goals of a conflict-solving nature are best served by a legal process structured as a contest between two parties  ...  Consequently, all proceedings take the shape of a contest between two parties. In the reactive state, on the other hand, all law is an expression of state policies.  ...  Given this diversity, it is not possible to deduce, in a general way, from the traditional goals of criminal justice the shape proceedings before international courts should logically take.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/jicj/mqm082">doi:10.1093/jicj/mqm082</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/x3z2wxnqqvf77a5dp3k7lltcly">fatcat:x3z2wxnqqvf77a5dp3k7lltcly</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170117201952/http://oup.silverchair-cdn.com/oup/backfile/Content_public/Journal/jicj/6/1/10.1093/jicj/mqm082/2/mqm082.pdf?Expires=1485029368&amp;Signature=QlK~dy2g9KOmu~Ci~Kno0LLtwbcu-TdQYO0-5s0Y9iG1sU9pndWX7jLG5SDlCnxwcqoRiCffNPQLT5~Hjg3CLFzMSQfdgUyMArOIKpco1-cVaoe~wOCSH3aafQrhrNSz2zS~lSgelzdur1WfVwHtUNyV-QgT1iH6r5lTRDFas54odaDIzMa9b5Fn3OZoZAsBEckufHN1Hq98P1UBlx1XTN2H69WgBn4DyGp9L3K-RpYea8EpHPGefK2UbnS93sZme4KXgzh-gzgOoJZioXhnCw6hCYcsDOZNSdWMCYVoGE-pnm0k93J8IvBtD2BbD8K~m7RJWxqdVR0zCOMo8wS4cQ__&amp;Key-Pair-Id=APKAIUCZBIA4LVPAVW3Q" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3c/50/3c50192b07478c284ffb4a73aed1111368a4d2a9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/jicj/mqm082"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> oup.com </button> </a>

Critical Discourse Analysis of PM N. Sharif's UNOGA Discourse Deciphering Covert Rhetoric—Dialectical Perspective

Faiz-ur-Rehman Gill
<span title="">2018</span> <i title="Science Publishing Group"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/tgrgmocponcubp54akgyilaunm" style="color: black;">Communication and Linguistics Studies</a> </i> &nbsp;
Critical Discourse Analysis (CDA) bases on "social critique and transformative action for change on a critique of discourse" (Fairclough, 2015) and it advances from endoxa (opinion) to praxis (action)  ...  The researcher employs Fairclough's (1989 Fairclough's ( , 1995 three dimensions model that includes text analysis (description), processing analysis (interpretation) and social analysis (explanation).  ...  or discourse analysis" (Van Dijk, 1993, P.131) Deduced form body of literature, CDA function under interdisciplinary techniques of textual analysis and opinions, and look at how texts reflects social  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.11648/j.cls.20180401.12">doi:10.11648/j.cls.20180401.12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/flwjkpwxybfzfa7njls7rmxgsa">fatcat:flwjkpwxybfzfa7njls7rmxgsa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200322123130/https://works.bepress.com/bahram_kazemian/39/download/" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d1/4d/d14d0ae2bc12c1157bd7cc92b7064dd8e73d34f0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.11648/j.cls.20180401.12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

A Self-Referential Perceptual Inference Framework for Video Interpretation [chapter]

Christopher Town, David Sinclair
<span title="">2003</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Perceptual inference then takes place within an ontological domain defined by the structure of the problem and the current goal set.  ...  This paper presents an extensible architectural model for general content-based analysis and indexing of video data which can be customised for a given problem domain.  ...  The principal author received financial support from the Royal Commission for the Exhibition of 1851.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-36592-3_6">doi:10.1007/3-540-36592-3_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4bgk6fhapfdwfcmjaj2s66c7uu">fatcat:4bgk6fhapfdwfcmjaj2s66c7uu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060226004930/http://www.cl.cam.ac.uk:80/~cpt23/papers/TownICVS2003.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2d/0b/2d0be50d7ed7d1e3df77fec0f7eb8b60b11485c6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-36592-3_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Auditing User-Provided Axioms in Software Verification Conditions [chapter]

Paul Jackson, Florian Schanda, Angela Wallenburg
<span title="">2013</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
A common approach to formally checking assertions inserted into a program is to first generate verification conditions, logical sentences that, if then proven, ensure the assertions are correct.  ...  If the solver finds this negated sentence to be unsatisfiable, i.e. it deduces there are no models of the negated sentence, then the sentence itself is true in all models, i.e. it is valid.  ...  With this overloading, variable types sometimes cannot be deduced from their immediate context.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-41010-9_11">doi:10.1007/978-3-642-41010-9_11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/x67mvo77d5fzxp7jtywn2klhwq">fatcat:x67mvo77d5fzxp7jtywn2klhwq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922004737/http://homepages.inf.ed.ac.uk/pbj/papers/fmics13.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8a/7d/8a7d8db52321c565a67691c2726d029188620231.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-41010-9_11"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

ANALYSIS OF ORGANIZATIONAL CULTURE IN SUGAR FACTORY: A CASE STUDY OF PT PG RAJAWALI II

B.R. Mirzandiko, M. Najib, S. Djohar
<span title="2018-07-30">2018</span> <i title="Russian Journal of Agricultural and Socio-Economic Sciences"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zai6f5tconfixeqzs4li55uyum" style="color: black;">Russian Journal of Agricultural and Socio-Economic Sciences</a> </i> &nbsp;
The level of sugar production and consumption in Indonesia from 2009 to 2016 has increased annually. However, the increase in consumption is not matched by the amount of production.  ...  Thus, it can be deduced from some of these definitions that the organizational culture is a system containing value, belief, and norm that are believed and executed by all members of the organization concerned  ...  Thus, the employees are like family. expected from the analysis of organizational culture PG Sindang Laut.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.18551/rjoas.2018-07.33">doi:10.18551/rjoas.2018-07.33</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ycz3jxoparf6hfmrqesxsrdt2y">fatcat:ycz3jxoparf6hfmrqesxsrdt2y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200211101333/https://rjoas.com/issue-2018-07/article_33.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e2/ea/e2ea6f1f920d03ee9df063fc608b1157e65fab43.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.18551/rjoas.2018-07.33"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Peculiarities of Business Presentation Communicative Means

Svetlana Burikova, Marina Kuznetsova, Ekaterina Ovchinnikova
<span title="2020-07-30">2020</span> <i title="Canadian Center of Science and Education"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zii5b6kubvgbtdw7qw7qnkwrme" style="color: black;">International Journal of English Linguistics</a> </i> &nbsp;
This article, deals with the particularities of business communication considering them from the two main perspectives: linguistic and extra linguistic.  ...  After a presentation of transcript analysis, undertaken with the methods of contextual and lexical analysis, the authors provide a rhetorical criticism of the communicative means&mdash;linguistic and extra  ...  Finally, we notice frequent use of Future Simple in the sentences being predictions, expression of optimistic outlook etc.: "(…) the notion of nutritional security will be paramount.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5539/ijel.v10n5p311">doi:10.5539/ijel.v10n5p311</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uufnacytpve7bjmcpnjavc3k6q">fatcat:uufnacytpve7bjmcpnjavc3k6q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200810222856/http://www.ccsenet.org/journal/index.php/ijel/article/download/0/0/43399/45488" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b9/02/b90289b7dec4f060a1e42dfc647d7bff82a41d95.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5539/ijel.v10n5p311"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

A Survey on Sentiment Analysis

Megha Joshi, Purvi Prajapati, Ayesha Shaikh, Vishwa Vala
<span title="2017-04-17">2017</span> <i title="Foundation of Computer Science"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/b637noqf3vhmhjevdfk3h5pdsu" style="color: black;">International Journal of Computer Applications</a> </i> &nbsp;
Sentiment analysis is process of extracting information from user"s opinions. Every person shares his or her information on social network sites, blogs, product review websites and webforums.  ...  This Paper describe different applications of sentiment analysis, techniques and challenges of sentiment analysis.  ...  The rule deduced from these sentences is as given in (III).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5120/ijca2017913552">doi:10.5120/ijca2017913552</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xohpzz6e35antgljq5wnlawkue">fatcat:xohpzz6e35antgljq5wnlawkue</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180604110612/https://www.ijcaonline.org/archives/volume163/number6/joshi-2017-ijca-913552.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c0/a0/c0a0e6c058a4c7f5a4da892b1bfb9738cbb50ede.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5120/ijca2017913552"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Illustrated by the Development of a Theory of Conflict Behavior*

NEAL E. MILLER
<span title="">1951</span> <i title="Wiley"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/si7uu7mwjbcgno22b2wcbbtbd4" style="color: black;">Journal of Personality</a> </i> &nbsp;
A simple deduction from this analysis has been experimentally tested by Miller and Murray (15).  ...  An operational definition is a special kind of reduction sentence.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1111/j.1467-6494.1951.tb01514.x">doi:10.1111/j.1467-6494.1951.tb01514.x</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/14898432">pmid:14898432</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/o54z7kgrnvgc3hbowwsdt5nopq">fatcat:o54z7kgrnvgc3hbowwsdt5nopq</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_journal-of-personality_1951-09_20_1/page/82" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_journal-of-personality_1951-09_20_1/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1111/j.1467-6494.1951.tb01514.x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Cybersecurity as aPolitikum

Laura Fichtner, Wolter Pieters, André Teixeira
<span title="">2016</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/osnbukkdqjedvkk44xndonptme" style="color: black;">Proceedings of the 2016 New Security Paradigms Workshop on - NSPW</a> </i> &nbsp;
Finally, we present discourse analysis and infrastructure ethnography as research methods and discuss cases in which discourses (may) shape infrastructures, in particular smart cities.  ...  CCS Concepts •Security and privacy → Social aspects of security and privacy; Economics of security and privacy;  ...  This research has received funding from the European Union's Seventh Framework Programme (FP7/2007-2013) under grant agreement ICT-318003 (TRESPASS).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3011883.3011887">doi:10.1145/3011883.3011887</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/nspw/FichtnerPT16.html">dblp:conf/nspw/FichtnerPT16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/np4dtkp52ba3fiqb4tvvi6ri3u">fatcat:np4dtkp52ba3fiqb4tvvi6ri3u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190217213407/https://repository.tudelft.nl/islandora/object/uuid:41c8b4f1-0681-4ba1-b444-eb20be8e10f0/datastream/OBJ/download" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/63/a6/63a6ac2d75a4af1ff6ab4542064bfb657b0a75cf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3011883.3011887"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Evaluating A Novel Agile Requirements Engineering Method: A Case Study

Tanel Tenso, Alex Norta, Irina Vorontsova
<span title="">2016</span> <i title="SCITEPRESS - Science and and Technology Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uhqpttjg5jejjbjdca4rxiq2jm" style="color: black;">Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering</a> </i> &nbsp;
The AAOM-method comprises a visual approach to agile requirements engineering that links goal-model creation techniques taken from agentoriented modelling and connects goals intuitively to user stories  ...  However, user stories do not suffice for understanding the bigger picture of system goals.  ...  In the depicted model, goals are shaped as parallelograms and quality goals shaped as clouds represent functional-and non-functional system requirements respectively.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5220/0005829701560163">doi:10.5220/0005829701560163</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/enase/TensoNV16.html">dblp:conf/enase/TensoNV16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2i3pe532ubbu3hcvkx67puqrma">fatcat:2i3pe532ubbu3hcvkx67puqrma</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190228130928/http://pdfs.semanticscholar.org/8c4d/2eb216693c3fbab4cdbdf577d7917393ed07.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8c/4d/8c4d2eb216693c3fbab4cdbdf577d7917393ed07.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5220/0005829701560163"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Decoding intention: A neuroergonomic perspective

Scott T. Grafton, Christine M. Tipper
<span title="">2012</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/sa477uo7lveh7hchpikpixop5u" style="color: black;">NeuroImage</a> </i> &nbsp;
W911NF-09-D-0001 from the U.S. Army Research Office, Public Health Service grant NS44393 and the James S. McDonnell Foundation.  ...  Further evidence that aIPS is specific to object-related goals can be deduced from an RS fMRI study in which intransitive goal oriented actions were observed.  ...  Familiar examples include border security (passport control), standoff procedures (checkpoints), high throughput screening (TSA) and video surveillance (security cameras).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.neuroimage.2011.05.064">doi:10.1016/j.neuroimage.2011.05.064</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/21651985">pmid:21651985</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC3189273/">pmcid:PMC3189273</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nfdqjhri7zah5lflbp4gubupdi">fatcat:nfdqjhri7zah5lflbp4gubupdi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812051501/https://labs.psych.ucsb.edu/grafton/scott/Papers/Grafton2011Neuroimage.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b2/13/b2131c4bd092fbb21fcba8113aa6dc2d476b103d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.neuroimage.2011.05.064"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3189273" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 10,500 results