Filters








1,099 Hits in 9.5 sec

OUP accepted manuscript

<span title="">2019</span> <i title="Oxford University Press (OUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/pcbbarm73zdppmf6px7sz5o72y" style="color: black;">Journal of Computer-Mediated Communication</a> </i> &nbsp;
construction and systematic research in a continuously evolving field.  ...  to examine these-are all in flux?  ...  He calls on us to focus on the "mediated" processes in CMC.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/jcmc/zmz027">doi:10.1093/jcmc/zmz027</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2m6vijzea5fk3eev3l7w6l3hmq">fatcat:2m6vijzea5fk3eev3l7w6l3hmq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200226034421/https://watermark.silverchair.com/zmz027.pdf?token=AQECAHi208BE49Ooan9kkhW_Ercy7Dm3ZL_9Cf3qfKAc485ysgAAAm8wggJrBgkqhkiG9w0BBwagggJcMIICWAIBADCCAlEGCSqGSIb3DQEHATAeBglghkgBZQMEAS4wEQQMau41qxSsBrEj7FWKAgEQgIICIv5249_825-t23LvqwtQgB6Tw3uQ51xGacNKQ_QybVvWm8GGzUikyxKyluEXIs_G-z09yBmGlh6tztJaf6In_7rnYEoH1AqFPv45J_DunBJ7E9FByRpdH7CNN3-iSAWmvyNENgexP4QYoNUPPVEimR9k5WIMbDIrcy2jp_g_BMscd2TA_33oP8jTRY1IPPGKHH7-lI2dylNj_OWsihs4JkIwJreFftnGuoywthvv2FZt8xGyL6_Tif_CiVML_N87m0heN8efDC4Iy05faobOVZa_HDAWCykuIJq1SWavsC82D5dBAD1ORaukysXR7K0YyIZWggqM3r0mqIn8EsgEcfjHpFDgKMQWFFqarhDsE9F4rtrMgh4AJb2SpFwpdD67AWFwctdaOqxp6THz53fuT1JX7OhxqXad01RqiKvrTHwk5m0wDYzmgBis0hZFvl_heUt8OyIQIgJtahiy9dAe6kl7XNoOHaDqquB24j9gt01DLWt28pMGO3x0lfm3VI77JVUBp-5BFcqDZ7YfaMEn4yQgWvJEZEZvcQQ1i1Vq6zw0OVEKnCXJsHakHQmeBl4SYlJ6RuUO-UFj7J2qa6Gk3cl1xpuODBaVrUiYUrZtXPm-Q2ROn20tvhhofSp9ZfnIkqy_zTWs65jS10NiCeuF6JVYp4pkoHGNxOreYiLywg_LdMgbDwvJc_gFxwAZhA0SgktuDDkvzpSelpSQeMJYaK-TFQ" 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/76/d9/76d9e11669677208b24881509ffc1f3940e09f96.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/jcmc/zmz027"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> oup.com </button> </a>

Testing Reactive Systems Using Behavioural Programming, a Model Centric Approach [article]

Yeshayahu Weiss
<span title="2021-12-07">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
The focus of our methodology will be to find faults caused by the interaction between different requirements in ways that are difficult for the testers to detect.  ...  We will develop a proof-of-concept tool kit which will allow us to demonstrate and evaluate the above mentioned capabilities.  ...  6.2.1 Telephony system -online concept, closed-loop We started by developing a simulation of a Telephony system (TS) that was built as a first playground that we used to adopt the BP principles in the  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2112.01538v2">arXiv:2112.01538v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ieduvszu25fdbjc4a3g2ruww5q">fatcat:ieduvszu25fdbjc4a3g2ruww5q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20211210111553/https://arxiv.org/pdf/2112.01538v2.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/74/eb/74ebea916b94fcf8b8e534cb3f176fb8fcc2553a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2112.01538v2" 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>

SDL: Meeting the IoT Challenge [chapter]

Edel Sherratt
<span title="">2016</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
However, it would be useful to be able to model interactions with external agents in a way that supported identification of threats to reliability, privacy and security of an IoT system.  ...  The second concerns undesirable interactions with external IoT systems. SDL 2010 supports modelling of a system within an environment populated by multiple agents.  ...  Feature interaction occurs when new software added to an existing telecommunication system interacts in an undesirable way with the existing software.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-46613-2_3">doi:10.1007/978-3-319-46613-2_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zvdbvkvtt5dhxcbftv6ovreeeq">fatcat:zvdbvkvtt5dhxcbftv6ovreeeq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200305113354/http://pure.aber.ac.uk/ws/files/25165761/SDLIoTChallengeFinal.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/7f/2c/7f2c2e8be707171aeb798c4c460b7bbd8fa1efed.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-319-46613-2_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Feature interaction: a critical review and considered forecast

Muffy Calder, Mario Kolberg, Evan H. Magill, Stephan Reiff-Marganiec
<span title="">2003</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/blfmvfslmbggxhopuigjdb3jma" style="color: black;">Computer Networks</a> </i> &nbsp;
A forecast is made about how research in feature interactions needs to readjust to address the new challenges posed by the emerging architectures.  ...  The state of the art of the field of feature interactions in telecommunications services is reviewed, concentrating on three major research trends: software engineering approaches, formal methods, and  ...  A benchmark on feature interactions in telephony systems can be found in [26, 25] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1389-1286(02)00352-3">doi:10.1016/s1389-1286(02)00352-3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4rw4czvoxvgzvnhor3kdmg267i">fatcat:4rw4czvoxvgzvnhor3kdmg267i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050817041349/http://www.dcs.gla.ac.uk:80/~muffy/papers/calder-kolberg-magill-reiff.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/cc/23/cc234c1ae771e384928efc97406913f88c616222.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1389-1286(02)00352-3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Towards a Method for Rigorous Development of Generic Requirements Patterns [chapter]

Colin Snook, Michael Poppleton, Ian Johnson
<span title="">2006</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;
This exercise has a number of aims: to support the domain analysis, to gain a view of appropriate design abstractions, for a B novice to gain experience in the B method and tools, and to evaluate the usability  ...  A pilot formal specification and design exercise is undertaken on a small (twosensor) system element.  ...  and verification in B.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11916246_17">doi:10.1007/11916246_17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/c6jboiko65a3jhyh6wj7vjvupm">fatcat:c6jboiko65a3jhyh6wj7vjvupm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812110556/https://eprints.soton.ac.uk/262889/1/reft05Book.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/58/ed/58ed3c4583227700d2ee02157ce0f201ff6258ec.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11916246_17"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Case studies for teaching usability engineering

Mary Beth Rosson, John M. Carroll, Con M. Rodi
<span title="2004-03-01">2004</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzoq6upx4ndyrd7qaolzbaeuca" style="color: black;">ACM SIGCSE Bulletin</a> </i> &nbsp;
We describe our use of online case studies to motivate and model course projects in usability engineering.  ...  Students need projects that are realistic enough to address meaningful issues, but manageable within one semester.  ...  We also thank Jennifer Thompson, Richard Bowman, Wesley Lloyd, Jiunwei Chen, and Vinoth Jagannathan for their work in developing the case study materials and tools.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1028174.971315">doi:10.1145/1028174.971315</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4e4xrlopyfc5rkkgvhy5glijey">fatcat:4e4xrlopyfc5rkkgvhy5glijey</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050320233819/http://www.ccse.kfupm.edu.sa:80/~krishna/CSE/SE/04p36-rosson.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/ed/df/eddf05db5652986f490a62606931022bfdefff5d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1028174.971315"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Case studies for teaching usability engineering

Mary Beth Rosson, John M. Carroll, Con M. Rodi
<span title="">2004</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/42mrbbmjbfdtbbepad2fzixmum" style="color: black;">Proceedings of the 35th SIGCSE technical symposium on Computer science education - SIGCSE &#39;04</a> </i> &nbsp;
We describe our use of online case studies to motivate and model course projects in usability engineering.  ...  Students need projects that are realistic enough to address meaningful issues, but manageable within one semester.  ...  We also thank Jennifer Thompson, Richard Bowman, Wesley Lloyd, Jiunwei Chen, and Vinoth Jagannathan for their work in developing the case study materials and tools.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/971300.971315">doi:10.1145/971300.971315</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigcse/RossonCR04.html">dblp:conf/sigcse/RossonCR04</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/khlx7ravqngnriocvxstbnfezi">fatcat:khlx7ravqngnriocvxstbnfezi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050320233819/http://www.ccse.kfupm.edu.sa:80/~krishna/CSE/SE/04p36-rosson.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/ed/df/eddf05db5652986f490a62606931022bfdefff5d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/971300.971315"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Modelling and verification of interworking between SIP and H.323

Ligang Wang, Anjali Agarwal, J.William Atwood
<span title="">2004</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/blfmvfslmbggxhopuigjdb3jma" style="color: black;">Computer Networks</a> </i> &nbsp;
H.323 is an umbrella standard that provides a well-defined system architecture and implementation guidelines that cover the entire call set-up, call control, and the media used in the call.  ...  Two configurations have been used in this model.  ...  In addition, our system can be expanded to enhance the SIP re-invite feature in SIP.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.comnet.2003.12.013">doi:10.1016/j.comnet.2003.12.013</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qwrvzjbd7jcmfkbua4iqh24h74">fatcat:qwrvzjbd7jcmfkbua4iqh24h74</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070118174733/http://users.encs.concordia.ca:80/~bill/theses/lgwang.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/25/ee/25eec36ef2c0993b2632d097b650ca4b3ba4dc1b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.comnet.2003.12.013"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Retrenching partial requirements into system definitions: a simple feature interaction case study

R. Banach, M. Poppleton
<span title="2003-11-01">2003</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ksueo6d4evgydaetaqy5yhvtfq" style="color: black;">Requirements Engineering</a> </i> &nbsp;
In conventional model-oriented formal refinement, the abstract model is supposed to capture all the properties of interest in the system, in an as-clutter-free-as-possible manner.  ...  The basic ideas of retrenchment are presented, and a simple telephone system feature interaction case study is elaborated.  ...  We revert to the usual convention of speaking about an abstract and a concrete system, as is prevalent in the refinement literature. With the notational conventions we have been using up  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00766-002-0157-6">doi:10.1007/s00766-002-0157-6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lqtvjuvyjvhpnmy75m3d7n7eo4">fatcat:lqtvjuvyjvhpnmy75m3d7n7eo4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20040726000208/http://www.cs.man.ac.uk:80/~banach/some.pubs/Retrench.Partial.Req.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/e1/e6/e1e65fa4399c50a0da418d5f1382e503d18dd599.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00766-002-0157-6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

An Overview of the Annex System

D. A. Grove, T. C. Murray, C. A. Owen, C. J. North, J. A. Jones, M. R. Beaumont, B. D. Hopkins
<span title="">2007</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5i22f6noqzcuzalvmf6ckdmcmy" style="color: black;">Twenty-Third Annual Computer Security Applications Conference (ACSAC 2007)</a> </i> &nbsp;
Our security architecture is built on top of a distributed object-capability system, which we believe provides an ideal platform for developing very high assurance devices.  ...  , robustness and mobility in the military context.  ...  Our current proof-ofconcept services, however, only use simple distribution schemes in order to allow us to experiment with the basic ideas before constructing more sophisticated mechanisms.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/acsac.2007.8">doi:10.1109/acsac.2007.8</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/acsac/GroveMONJBH07.html">dblp:conf/acsac/GroveMONJBH07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/l5xnhlrkknhjdpg7meyzl6vobq">fatcat:l5xnhlrkknhjdpg7meyzl6vobq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170813165947/http://www.cs.ox.ac.uk/people/toby.murray/papers/AnnexOverviewACSAC07.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/99/cd/99cdaece0401f81b9be2f20a29b5e1864418b90e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/acsac.2007.8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

An Overview of the Annex System

D. A. Grove, T. C. Murray, C. A. Owen, C. J. North, J. A. Jones, M. R. Beaumont, B. D. Hopkins
<span title="">2007</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/c2syobe3wnconhocjx2ad2tkka" style="color: black;">Proceedings of the Computer Security Applications Conference</a> </i> &nbsp;
Our security architecture is built on top of a distributed object-capability system, which we believe provides an ideal platform for developing very high assurance devices.  ...  , robustness and mobility in the military context.  ...  Our current proof-ofconcept services, however, only use simple distribution schemes in order to allow us to experiment with the basic ideas before constructing more sophisticated mechanisms.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/acsac.2007.4413001">doi:10.1109/acsac.2007.4413001</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/o7atr56rh5bf3p2x6ivaa2lhmy">fatcat:o7atr56rh5bf3p2x6ivaa2lhmy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170813165947/http://www.cs.ox.ac.uk/people/toby.murray/papers/AnnexOverviewACSAC07.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/99/cd/99cdaece0401f81b9be2f20a29b5e1864418b90e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/acsac.2007.4413001"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Modeling and verifying security protocols using UML 2

Sandra Smith, Alain Beaulieu, W. Greg Phillips
<span title="">2011</span> <i title="IEEE"> 2011 IEEE International Systems Conference </i> &nbsp;
We present our research to investigate the use of UML 2 to model, verify and validate security protocols.  ...  Security protocols may fail due to unintended use, malicious attacks, incorrect logic or incorrect transition from design to code.  ...  UML 2 Real-time Features Model Driven Development (MDD) evolved in the early 1990's in the telecommunication and telephony industry. UML 2 implements the concepts of MDD.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/syscon.2011.5929088">doi:10.1109/syscon.2011.5929088</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pt2fznehzbfxpp3lcfrtjc3vde">fatcat:pt2fznehzbfxpp3lcfrtjc3vde</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171116184537/http://ceur-ws.org/Vol-413/paper05.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/4d/87/4d87b79c074780cd7dcaba31548c6d78a5badd29.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/syscon.2011.5929088"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Automating software feature verification

Gerard J. Holzmann, Margaret H. Smith
<span title="2002-08-28">2002</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/23yxxvfhojanzkfj7qe62wehlm" style="color: black;">Bell Labs technical journal</a> </i> &nbsp;
The main strength of the system is in the detection of undesired feature interactions at an early stage of systems design, the type of problem that is notoriously difficult to detect with traditional testing  ...  The verifications are performed by the system with the help of a standard logic model checker that runs in the background, invisibly to the user.  ...  The authors are also grateful to Rob Pike and Jim McKie for their invaluable help with the setup of the compute-servers for the feature verification system.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/bltj.2223">doi:10.1002/bltj.2223</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/s3yxnf5id5a57keecmwevaha4y">fatcat:s3yxnf5id5a57keecmwevaha4y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050205023937/http://spinroot.com:80/gerard/pdf/bltj2000.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/ce/8b/ce8bcdb8e5a618fed9bb431125e4b94a60f150fa.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/bltj.2223"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Mutually nonblocking supervisory control of discrete event systems

M. Fabian, R. Kumar
<span title="">2000</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/e5pgtxytlra45muqmfmoj6kvte" style="color: black;">Automatica</a> </i> &nbsp;
We call this the problem of mutually nonblocking supervision, which is demonstrated to have applications in feature interactions in telephony, protocol conversion, and manufacturing.  ...  In addition, the entire controlled system must be nonblocking.  ...  Feature interaction in telephony systems poses a similar problem.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0005-1098(00)00102-3">doi:10.1016/s0005-1098(00)00102-3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ucdxxptvfzfndpfbcrrumuaeai">fatcat:ucdxxptvfzfndpfbcrrumuaeai</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070417223125/http://home.eng.iastate.edu/~rkumar/PUBS/mnb.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/47/d9/47d9d39c7c7f0e86f2a92618ff513d05e839e2ed.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0005-1098(00)00102-3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Mutually nonblocking supervisory control of discrete event systems

M Fabian
<span title="">2000</span> <i title="Test accounts"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/e5pgtxytlra45muqmfmoj6kvte" style="color: black;">Automatica</a> </i> &nbsp;
We call this the problem of mutually nonblocking supervision, which is demonstrated to have applications in feature interactions in telephony, protocol conversion, and manufacturing.  ...  In addition, the entire controlled system must be nonblocking.  ...  Feature interaction in telephony systems poses a similar problem.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5555/s0005-1098(00)00102-3">doi:10.5555/s0005-1098(00)00102-3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vsknwaqsn5hxdczpungnf5cxoa">fatcat:vsknwaqsn5hxdczpungnf5cxoa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070417223125/http://home.eng.iastate.edu/~rkumar/PUBS/mnb.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/47/d9/47d9d39c7c7f0e86f2a92618ff513d05e839e2ed.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5555/s0005-1098(00)00102-3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 1,099 results