1312 search results - page 182 / 263 » Quantitative Comparison of Languages |
114
click to vote
EJC
2010
14 years 7 months ago
2010
As a computational model of natural language communication, Database Semantics1 (DBS) includes a hearer mode and a speaker mode. For the content to be mapped into language expressi...
SIGSOFT
2009
ACM
16 years 1 months ago
2009
ACM
The suggestions made by current IDE's code completion features are based exclusively on static type system of the programming language. As a result, often proposals are made ...
187
Voted
CP
2009
Springer
16 years 1 months ago
2009
Springer
The most popular architecture for parallel search is work stealing: threads that have run out of work (nodes to be searched) steal from threads that still have work. Work stealing ...
CHI
2008
ACM
16 years 1 months ago
2008
ACM
Significant effort has been invested in developing expressive and flexible access-control languages and systems. However, little has been done to evaluate these systems in practic...
96
Voted
HICSS
2009
IEEE
15 years 7 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...