Filters








183,636 Hits in 6.4 sec

Formal Specification and Prototyping of Multi-agent Systems [chapter]

Vincent Hilaire, Abder Koukam, Pablo Gruer, Jean-Pierre Müller
2000 Lecture Notes in Computer Science  
The framework we use to give a formal description of this model is based on a multi-formalism approach. We illustrate this approach through a case study.  ...  This approach relies on a few assumptions, the most important is that MAS must be described by an organizational model which semantics is given in term of a formal framework.  ...  This model is well suited for describing complex interactions which are among MAS main features. Furthermore, each model concepts are given a formal semantic within our specification framework.  ... 
doi:10.1007/3-540-44539-0_9 fatcat:kfehpx5mzjarniwtdzwdv2hcpa

Overview of Extension Program Planning Models

John M. Diaz, Cody Gusto, David Diehl
2018 EDIS  
The use of program plan development models within Extension has a long history of application based on environmental context, interest, and perceived value.  ...  The purpose of this 6-page article is to articulate a comparative overview of the various program planning models designed and employed by Extension professionals in education contexts.  ...  health programs with an emphasis on participant engagement.  ... 
doi:10.32473/edis-wc289-2018 fatcat:4ldret7sungfnn7leypmsvfwua

Assessment: An innovative approach

Maggie Galliers
1989 The Vocational Aspect of Education  
In many Teacher Training, Management and Personnel Courses the emphasis during the training is on skills with people but the eventual assessment is rooted in the more traditionally acceptable areas of  ...  My reading of the available literature (Harris and Bell, 1986 ) convinced me of the need for an innovative approach to tried and tested taxonomies and in consequence I have developed a framework which  ... 
doi:10.1080/10408347308003401 fatcat:cgsz7jni7zezpam4zs5tlil3ai

The Gamma statechart composition framework

Vince Molnár, Bence Graics, András Vörös, István Majzik, Dániel Varró
2018 Proceedings of the 40th International Conference on Software Engineering Companion Proceeedings - ICSE '18  
The Gamma Statechart Composition Framework is an integrated tool to support the design, verification and validation as well as code generation for component-based reactive systems.  ...  Gamma automatically synthesizes executable Java code extending the output of existing statechart-based code generators with composition related parts, and it supports formal verification by mapping composite  ...  Special thanks to Tamás Tóth for his initial contributions to the Gamma Statechart Language and István Ráth and Ákos Hajdu for their valuable advice.  ... 
doi:10.1145/3183440.3183489 dblp:conf/icse/MolnarGVMV18 fatcat:ajonndsqavhjra46e4ibq3s2dq

Developing Experimental Models for NASA Missions with ASSL

Emil Vassev, Mike Hinchey
2010 Electronic Proceedings in Theoretical Computer Science  
The Autonomic System Specification Language (ASSL) is a framework for formally specifying and generating autonomic systems.  ...  This helps to validate features and perform experiments through simulation. Here, we discuss our work on developing such missions with ASSL.  ...  Conclusion In this research, we place emphasis on modeling autonomic properties of space-exploration missions with ASSL.  ... 
doi:10.4204/eptcs.20.10 fatcat:2w6bxrdebjhtte4kokynoncrgi

Learning Special Input Methods with Personalized Game Applications [article]

Thomas Neumayr, Mirjam Augstein, Stephan Vrecer, Werner Kurschl, Josef Altmann
2016 Mensch & Computer  
It provides a user modelling framework with emphasis on users' interaction abilities and an infrastructure for i) the personalized and automated selection and configuration of input devices as well as  ...  ii) the individually tailored process of interaction with the applications using the framework.  ...  In the IAAA project, we developed a user modelling framework for assisting (disabled) people while they are working with interactive systems.  ... 
doi:10.18420/muc2016-ws05-0002 dblp:conf/mc/NeumayrAVKA16 fatcat:tkczvattgjgh3pgvvqxtuesibi

Form variation of pronominal it-clefts in written English

Luca Bevacqua, Tatjana Scheffler
2020 Linguistics Vanguard  
A further comparison between the Twitter dataset and data from iWeb, a corpus of general-use web language, shows significant differences in levels of emphasis and formality, positioning Twitter language  ...  We report on a corpus study mining data from Twitter, targeting sentences clefting a pronoun in English.  ...  Model comparison was conducted via asymptotic likelihood ratio tests between a model without interactions, one adding the two-way interactions, and one additionally including the three-way interaction.  ... 
doi:10.1515/lingvan-2019-0066 fatcat:sxfzmkofvrfhhku7mrbiydn4xi

Viewing mobile learning from a pedagogical perspective

Matthew Kearney, Sandra Schuck, Kevin Burden, Peter Aubusson
2012 Research in Learning Technology  
A pedagogical framework was developed and tested through activities in two mobile learning projects located in teacher education communities: Mobagogy, a project in which faculty staff in an Australian  ...  The paper presents a pedagogical perspective of mobile learning which highlights three central features of mobile learning: authenticity, collaboration and personalisation, embedded in the unique time-space  ...  Collaboration Collaboration in socio-cultural theory is often emphasised in terms of learning interactions with more capable peers or adults and there is a pedagogical emphasis on scaffolding (Trudge  ... 
doi:10.3402/rlt.v20i0.14406 fatcat:3v6i2uqmmfeezdtscsk4zqapt4

Viewing mobile learning from a pedagogical perspective

Matthew Kearney, Sandra Schuck, Kevin Burden, Peter Aubusson
2012 Research in Learning Technology  
A pedagogical framework was developed and tested through activities in two mobile learning projects located in teacher education communities: Mobagogy, a project in which faculty staff in an Australian  ...  The paper presents a pedagogical perspective of mobile learning which highlights three central features of mobile learning: authenticity, collaboration and personalisation, embedded in the unique time-space  ...  Collaboration Collaboration in socio-cultural theory is often emphasised in terms of learning interactions with more capable peers or adults and there is a pedagogical emphasis on scaffolding (Trudge  ... 
doi:10.3402/rlt.v20i0/14406 fatcat:jbysdxgtizhllpkpetkpwj5miu

Playful learning? An extreme comparison of the Children's University in Malaysia and in Australia

2019 International Perspectives and Interactions in Education  
It reveals structural differences in implementation, attitudes to playful learning, and cultural attitudes to non-formal learning. The cases draw on in-depth interviews with service providers.  ...  The article develops an extreme-comparative method to analyse a non-formal learning program, the Children's University, in Malaysia and in Australia.  ...  In Australia, the emphasis is on interaction, (co)-creation, and (re)connection with parents and care givers having a role in the non-formal learning process.  ... 
doi:10.37074/jalt.2019.2.1.3 fatcat:ueyrvx7t25cstjdtfqljvzbckq

The impact of reputation and variance investigations on the creation of budget slack

R.Alan Webb
2002 Accounting, Organizations and Society  
The results of a laboratory experiment show concern for maintaining a favourable reputation leads to lower budget slack as does the existence of a variance investigation policy.  ...  The findings extend the agency theory framework by incorporating both pecuniary and non-pecuniary features that influence behavior when budgets have consequences beyond the immediate period.  ...  This study also lays the groundwork for further research examining the role of reputation, accountability pressures and other factors likely to influence budgeting behavior in an organizational setting  ... 
doi:10.1016/s0361-3682(01)00034-4 fatcat:v5aqtxmyvbcmppilkyjityylmq

(Auto)Focus approaches and their applications: A systematic review [article]

Maria Spichkova
2017 arXiv   pre-print
Focus, a framework for formal specification and development of interactive systems, was introduced approx. 25 years ago.  ...  Since then this approach was broadly used in academic and industrial studies, as well as provided a basis for a number of another frameworks focusing on particular domains, and for the AF3 modelling tool  ...  INTRODUCTION Focus, a framework for formal specification and development of distributed interactive systems, provides models and formalisms for a stepwise specification and development.  ... 
arXiv:1711.08123v1 fatcat:itmqcl4bvzgttcrp4bub2rnmjq

Experiences with the development of an MPEG-4-oriented PC multimedia application

Thomas Stingl, Rico Dreier, Olaf Barheine, Andrew G. Tescher, Bhaskaran Vasudev, V. Michael Bove, Jr., Barbara Derryberry
1999 Multimedia Systems and Applications  
Based on this a general framework for system design comparison is outlined.  ...  Two different approaches for system integration were taken during the project term, one being a flexible combination of a Java System framework with native Decoder-software, the other a more MPEG-4 phase  ...  MPEG-4 INTERACTIVITY PROGRAMMING EXAMPLES To produce a common framework for integration, a visible demonstration of the results of the different EMPHASIS work items and to highlight MPEG-4 functionality  ... 
doi:10.1117/12.337453 fatcat:4p6xirtwjnaqvp74xc5boxmqgm

EXTENDING THE REACH OF KNOWLEDGE ENGINEERING PRACTICE BEYOND THE FRONTIERS OF FORMAL SECTORS USING A FEATURE AND FUNCTION BASED CLASSIFICATION

ODULAJA, Godwin Oluseyi, Computer Science Department, School of Computing and Engineering Sciences Babcock University, Ilishan Remo, Ogun State Nigeria
2020 International Journal of Advanced Research in Computer Science  
analysis knowledge acquisition and test-running and on DesignKARL language for design implementation.  ...  A FEATURES AND FUNCTION BASED CLASSIFICATION OF KNOWLEDGE ENGINEERING FRAMEWORKS AND PROBLEM SOLVING METHODS (PMS) A.  ... 
doi:10.26483/ijarcs.v11i1.6504 fatcat:ujae2gtawbew3fbk7tvhdcrxeq

Model Matching Theory: A Framework for Examining the Alignment between Game Mechanics and Mental Models

Rory McGloin, Joe A. Wasserman, Andy Boyan
2018 Media and Communication  
Formalizing model matching theory in this way provides researchers a unified explanation for game-based learning, game performance, and related gameplay outcomes while also providing a theory-based direction  ...  Considerations for how these propositions may be tested in future games studies research are discussed.  ...  Jaime Banks for providing critical feedback during the preparation of this manuscript.  ... 
doi:10.17645/mac.v6i2.1326 fatcat:j5jkvva6tzavpay3oji6zgtp2y
« Previous Showing results 1 — 15 out of 183,636 results