A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Formal Specification and Prototyping of Multi-agent Systems
[chapter]
2000
Lecture Notes in Computer Science
Preserved Fulltext
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
2018
EDIS
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
1989
The Vocational Aspect of Education
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2018
Proceedings of the 40th International Conference on Software Engineering Companion Proceeedings - ICSE '18
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2010
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2010 pre-print arXiv:1003.0396v1 fatcat:6oc4xec7nbgfpn7h2wmvnurary
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]
2016
Mensch & Computer
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2020
Linguistics Vanguard
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2012
Research in Learning Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2012
Research in Learning Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2002
Accounting, Organizations and Society
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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]
2017
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
1999
Multimedia Systems and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2020
International Journal of Advanced Research in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2018
Media and Communication
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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