2413 search results - page 94 / 483 » Models for universal usability |
WSC
2001
13 years 11 months ago
2001
This paper describes some identifiable trends in the manufacturing industry regarding the increased use of simulation tools, especially by small- to medium-sized companies. These ...
PERVASIVE
2010
Springer
13 years 8 months ago
2010
Springer
ing model abstracts over various types of positioning systems and incorporates the capture of uncertainty, serving as a foundation on which developers can apply sensor-fusion techn...
AML
2008
13 years 9 months ago
2008
Abstract. This paper develops the model theory of ordered structures that satisfy Keisler's regularity scheme, and its strengthening REF(L) (the reflection scheme) which is an...
EKAW
1994
Springer
14 years 2 months ago
1994
Springer
Formal knowledge modelling languages have a number of advantages over informal languages, such as their precise meaning and the possibility to derive propertiesthrough formal proof...
DSVIS
1995
Springer
14 years 1 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...