4386 search results - page 655 / 878 » A Tamper-Resistant Programming Language System |
137
click to vote
CP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The automatic modelling tool Conjure generates CSP models from problem specifications. The generated models may contain multiple alternative (redundant) representations ...
145
click to vote
UM
2005
Springer
16 years 2 days 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...
147
click to vote
UM
2005
Springer
16 years 2 days 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...
142
click to vote
UM
2005
Springer
16 years 2 days 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...
157
click to vote
ECLIPSE
2004
ACM
16 years 22 hour 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...