4386 search results - page 655 / 878 » A Tamper-Resistant Programming Language System |
99
Voted
CP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The automatic modelling tool Conjure generates CSP models from problem specifications. The generated models may contain multiple alternative (redundant) representations ...
109
Voted
UM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Individuals di er in the resources that they are willing to expend on information gathering and on the importance of di erent kinds of information. We have developed MADS...
114
Voted
UM
2005
Springer
15 years 9 months ago
2005
Springer
Abundance of user contributions does not necessarily indicate sustainability of an online community. On the contrary, excessive contributions in the systems may result in “inform...
102
Voted
UM
2005
Springer
15 years 9 months ago
2005
Springer
The accuracy of a user model usually depends on the amount and quality of information available on the user’s states of interest. An eye-tracker provides data detailing where a u...
120
Voted
ECLIPSE
2004
ACM
15 years 9 months ago
2004
ACM
Traits are a language technology that complements inheritance as a means for code reuse and class structuring. Traits encapsulate collections of methods so that they can be used a...