2162 search results - page 221 / 433 » Automated Reasoning on Feature Models |
128
click to vote
ACMACE
2009
ACM
15 years 11 months ago
2009
ACM
In this study we construct an artificial neural network model of players’ relaxation preferences while playing a physical Wii game. Developed technology will assist game designe...
157
click to vote
CSL
2000
Springer
15 years 9 months ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...
158
click to vote
LICS
1999
IEEE
15 years 9 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
170
Voted
TPHOL
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
121
click to vote
ICLP
1998
Springer
15 years 9 months ago
1998
Springer
The eld of theory update has seen some improvement, in what regards updating, by allowing desired updates to be speci ed by update programs. The updating of models is governed by ...