159,646 Hits in 8.6 sec

Activity qualifiers using an argument-based construction

Esteban Guerrero, Juan Carlos Nieves, Marlene Sandlund, Helena Lindgren
2017 Knowledge and Information Systems  
Three instances of the general qualifier are proposed: Performance, Actuation and Capacity; the first one evaluates what a person does, the second how an individual follows an action plan, and the third  ...  Based on an argumentation theory approach, we present a novel method for evaluating complex goal-based activities by generalizing a notion of qualifier defined in the health domain.  ...  , and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.  ... 
doi:10.1007/s10115-017-1112-7 fatcat:6fp7gbrd5zbphnzahlhgsvsqsa

Safe stream-based programming with refinement types

Benno Stein, Lazaro Clapp, Manu Sridharan, Bor-Yuh Evan Chang
2018 Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering - ASE 2018  
In stream-based programming, data sources are abstracted as a stream of values that can be manipulated via callback functions.  ...  In this paper, we present a type-based approach that can statically prove the thread-safety of UI accesses in stream-based software.  ...  ACKNOWLEDGMENT The authors would like to thank Werner Dietl, Colin Gordon, Michael Ernst, and members of the CUPLV lab for valuable discussions.  ... 
doi:10.1145/3238147.3238174 dblp:conf/kbse/SteinCSC18 fatcat:t2npufdwlvgbzhnkhcjoncjdoy

Large-scale analysis of format string vulnerabilities in Debian Linux

Karl Chen, David Wagner
2007 Proceedings of the 2007 workshop on Programming languages and analysis for security - PLAS '07  
In collaboration with others, we designed and implemented a system to eliminate format string vulnerabilities from an entire Linux distribution, using typequalifier inference, a static analysis technique  ...  We suggest that the technology exists to render format string vulnerabilities extinct in the near future.  ...  (Exception: We do not include the source to libc, as our static analysis tool provides a model for the behavior of every libc function.)  ... 
doi:10.1145/1255329.1255344 dblp:conf/pldi/ChenW07 fatcat:v7bdavtwczb7hcgwf5r2ovuonq

Classification-Based Improvement of Application Robustness and Quality of Service in Probabilistic Computer Systems [chapter]

Andreas Heinig, Vincent J. Mooney, Florian Schmoll, Peter Marwedel, Krishna Palem, Michael Engel
2012 Lecture Notes in Computer Science  
They are expected to show probabilistic behavior due to lowered voltages and shrinking structures.  ...  To evaluate, we analyze robustness and quality-of-service of an H.264 video decoder.  ...  They present frameworks for the extension of typed programming languages by user defined type qualifiers.  ... 
doi:10.1007/978-3-642-28293-5_1 fatcat:piadw5ttcrfgxckrwbfxnj6tjy

A compiler-based infrastructure for software-protection

Clifford Liem, Yuan Xiang Gu, Harold Johnson
2008 Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security - PLAS '08  
We show the applicability of known compiler techniques such as aliasanalysis, whole program analysis, data-flow analysis, and control-flow analysis and how these capabilities provide the basis for program  ...  Not long after the introduction of stored-program computing machines, the first high-level language compilers appeared.  ...  Eisen, Dan Murdock, Yongxin Zhou, and Alec Main.  ... 
doi:10.1145/1375696.1375702 dblp:conf/pldi/LiemGJ08 fatcat:i2jez5ypfjfn7b22f34akvr2zi

The ForeC Synchronous Deterministic Parallel Programming Language for Multicores

Eugene Yip, Alain Girault, Partha S. Roop, Morteza Biglari-Abhari
2016 2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSOC)  
ForeC allows programmers to express many forms of parallel patterns while ensuring that programs are amenable to static timing analysis.  ...  ForeC's synchronous semantics is designed to greatly simplify the understanding and debugging of parallel programs.  ...  The authors would like to thank Simon Yuan for setting up the Esterel benchmarks and Avinash Malik for setting up the OpenMP benchmarks.  ... 
doi:10.1109/mcsoc.2016.13 dblp:conf/mcsoc/YipGRB16 fatcat:23ebahj35few3gqykksndftpfi

Development of automatically verifiable systems using data representation synthesis

Bryce W. Cronkite-Ratcliff
2013 Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity - SPLASH '13  
Acknowledgments Thank you to Alex Aiken, Peter Hawkins, Tom & Isil Dillig, and Mooly Sagiv for guidance and support.  ...  Type Qualifiers present one approach, where qualifiers inferred or programmer-supplied carry information about expected program behavior and potential security risks [3] .  ...  Compass is an analysis application that implements PCR to allow for automatic analysis of container-manipulating programs [2] . Compass currently supports analysis of C++.  ... 
doi:10.1145/2508075.2514874 dblp:conf/oopsla/Cronkite-Ratcliff13 fatcat:mmuu7nih4zbcnhmsfcito5e2jm

Aging Evaluation for the Extension of Qualified Life of Nuclear Power Plant Equipment [chapter]

Pedro Luiz da Cruz Saldanha, Paulo Fernando F. Frutuoso e Melo
2011 Nuclear Power - Control, Reliability and Human Factors  
for the extension of qualified life of equipment.  ...  The purpose of this chapter is to discuss and present an application of probabilistic models for the rate of occurrence of failures of active repairable systems using stochastic point processes, to decide  ...  The scope of the equipment qualification program should include equipment that performs safety functions and contributes to safety functions performance.  ... 
doi:10.5772/18108 fatcat:rkqgeomvkng33npcsrngbusgf4

Six Essential Instructional Roles to Implement Response to Intervention Models: Perceptions of Highly Qualified Special Educators

John J. Hoover, Julia S. Sarris
2014 American Journal of Educational Research  
of socio-American Journal of Educational Research 258 emotional and behavioral supports, 4) differentiation of instruction, 5) instructional and assessment accommodations, and 6) collaboration (Hoover  ...  A survey was administered to 65 practitioners who completed a nationally accredited degree program from 2004-2011, resulting in a Masters Degree in Special Education and a state teaching endorsement as  ...  American Journal of Educational Research ensuring that screening and monitoring scores are valid and reliable to appropriately reflect learner progress.  ... 
doi:10.12691/education-2-5-4 fatcat:w45s35kdpjhdtkkhhran6xnmay

Page 29 of Development = Developpement = Desarrollo Vol. 4, Issue 4 [page]

1962 Development = Developpement = Desarrollo  
The functional purpose of institutions may profoundly affect their behavior, each type requiring a specific analytic approach.  ...  Ministry of Education); e@ The major service or bureau performing a specific function or managing a single program (e.g.  ... 

Software Vulnerability Overview: A Concise Study

2017 International Journal of Recent Trends in Engineering and Research  
Software vulnerability analysis focuses on researching revealed software vulnerabilities to know individuality of vulnerabilities.  ...  Software vulnerability is a flaw, defect or even an error in the software creation that can be demoralized by an invader in order to obtain some privileges or break the security rule of the system.  ...  Cqual is used to specify and check properties of C programs using user-defined type qualifiers, which are added to the program.  ... 
doi:10.23883/ijrter.2017.3288.urgo6 fatcat:ux7zr5auybgtxjymnkes2gl6oq

Saving the World by Teaching Behavior Analysis: A Behavioral Systems Approach

Richard W. Malott, Pamela L. Vunovich, William Boettcher, Corina Groeger
1995 The Behavior Analyst  
This article presents a behavioral systems approach to organizational design and applies that approach to the teaching of behavior analysis.  ...  This systems approach is applied to the Education Board and Teaching Behavior Analysis Special Interest Group of the Association for Behavior Analysis, with a conclusion that we need to emphasize the recruitment  ...  down to lower and lower subgoals (e.g., the recruitment of qualified students into behavior analysis training programs).  ... 
doi:10.1007/bf03392722 pmid:22478232 pmcid:PMC2733719 fatcat:zhafy2aqnvaxbak7y6jchi73se

Nonlinear Dynamic Analysis to Extend the Value of Liquid Rocket Qualification Test

Mary Baker, Frank X. Moehrle, Kyle C. Indermuehle, Marcus D. Billings
2005 Journal of Spacecraft and Rockets  
Approaches to Address Nonlinearities Most of the dynamic loads analysis was performed using a modal approach.  ...  behavior and explain most of the dynamic responses by discrete nonlinear eiements helped to validate the overall linear approach to dynamic loads analysis.  ... 
doi:10.2514/1.3448 fatcat:63al3a36pvhxzibp3ht2hpn7lm

Page 2418 of Psychological Abstracts Vol. 83, Issue 6 [page]

1996 Psychological Abstracts  
Behavior Analyst, 1995(Fal), Vol 18(2), 341-354. —Presents a behavioral systems approach to organizational design and applies that approach to the teaching of behavior analysis.  ...  This approach is applied to the Education Board and Teaching Behavior Analysis Special Interest Group of the Association for Behavior Analysis, with the conclusion that emphasis on the recruitment of students  ... 

Some Thoughts on Shaping Future Behavior Analysts: a Call to Stay True to Our Roots

Carol Pilgrim
2018 Behavior Analysis in Practice  
The conceptual and philosophical groundings of behavior analysis and their development, the practices and findings of the experimental laboratory analysis of both animal and human behavior, and the approaches  ...  We are currently at a crossroads with our training programs as we seek to serve many masters, and the directions we take will undoubtedly have a profound impact on ways in which the discipline of behavior  ...  The conceptual and philosophical groundings of behavior analysis and their development, the practices and findings of the experimental laboratory analysis of both animal and human behavior, and the approaches  ... 
doi:10.1007/s40617-018-0233-0 pmid:30363845 pmcid:PMC6182855 fatcat:jkjwlnyxgrggpfanzcugvrtwey
« Previous Showing results 1 — 15 out of 159,646 results