Sciweavers

1949 search results - page 232 / 390
» Protective Interface Specifications
Sort
View
127
Voted
FUIN
2006
97views more  FUIN 2006»
15 years 3 months ago
Interactive Systems with Registers and Voices
We present a model and a core programming language appropriate for modeling and programming interactive computing systems. The model consists of rv-systems (interactive systems wit...
Gheorghe Stefanescu
124
Voted
IJIM
2007
139views more  IJIM 2007»
15 years 3 months ago
Evaluation Methods on Usability of M-Learning Environments
— Nowadays there are different evaluation methods focused in the assessment of the usability of telematic methods. The assessment of 3rd generation web environments evaluates the...
Teresa Magal Royo, Guillermo Peris-Fajarnés...
STTT
2008
103views more  STTT 2008»
15 years 3 months ago
Model-based development of a course of action scheduling tool
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...
Lars Michael Kristensen, Peter Mechlenborg, Lin Zh...
118
Voted
ICWL
2010
Springer
15 years 1 months ago
Not Yet Ready for Everyone: An Experience Report about a Personal Learning Environment for Language Learning
A Personal Learning Environment (PLE) is a mash-up of learning services. It enables students and teachers to assemble a work environment that is adapted to a domain and specific in...
Carsten Ullrich, Ruimin Shen, Denis Gillet
164
Voted
CORR
2011
Springer
227views Education» more  CORR 2011»
14 years 10 months ago
Message Structures: a modelling technique for information systems analysis and design
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...
Sergio España, Arturo González, Osca...