1312 search results - page 182 / 263 » Quantitative Comparison of Languages |
EJC
2010
13 years 4 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
14 years 10 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 ...
CP
2009
Springer
14 years 10 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
14 years 10 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...
HICSS
2009
IEEE
14 years 4 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...