2250 search results - page 157 / 450 » Authorizing applications in singularity |
FQAS
2006
Springer
15 years 1 months ago
2006
Springer
This paper describes a new approach for describing contents through the use of interlinguas in order to facilitate the extraction of specific pieces of information. The authors hig...
LCPC
1991
Springer
15 years 1 months ago
1991
Springer
This paper discusses the techniques used to hand-parallelize, for the Alliant FX/80, four Fortran programs from the Perfect-Benchmark suite. The paper also includes the execution ...
BIRTHDAY
2008
Springer
15 years 5 days ago
2008
Springer
The semiring-based formalism to model soft constraint has been introduced in 1995 by Ugo Montanari and the authors of this paper. The idea was to make constraint programming more f...
83
Voted
FM
2008
Springer
14 years 11 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
75
Voted
BCSHCI
2007
14 years 11 months ago
2007
This paper describes the practical side of eye tracker use in the field of human computer interaction. The paper relates to usability evaluations in practice covering those topics...