2061 search results - page 136 / 413 » Authorization for Metacomputing Applications |
132
click to vote
BIRTHDAY
2008
Springer
15 years 6 months 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...
141
click to vote
FM
2008
Springer
15 years 5 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...
134
click to vote
BCSHCI
2007
15 years 5 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...
107
click to vote
FEGC
2008
15 years 5 months ago
2008
We propose a way of extracting high-confidence association rules from datasets consisting of unlabeled trees. The antecedents are obtained through a computation akin to a hypergrap...
134
click to vote
MKWI
2008
15 years 5 months ago
2008
: For the development of software requirements within a team, efficient communication and a systematic approach are necessary. Because of the complexity of the task, the need for s...