2514 search results - page 371 / 503 » The use of industrial-strength formal methods |
138
click to vote
RIAO
2004
15 years 7 months ago
2004
A group memory of a project is an information space storing the documents produced and exchanged by members of the group, which may include the electronic discussions that took pl...
143
click to vote
COGSCI
2010
15 years 6 months ago
2010
We develop and evaluate a model of behavior on the Give-N task, a commonly used measure of young children's number knowledge. Our model uses the knower-level theory of how ch...
158
click to vote
PLDI
2006
ACM
16 years 10 days ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
161
click to vote
SP
2008
IEEE
16 years 23 days ago
2008
IEEE
Abstract—Current web browsers are plagued with vulnerabilities, providing hackers with easy access to computer systems via browser-based attacks. Browser security efforts that re...
175
click to vote
GECCO
2007
Springer
16 years 17 days ago
2007
Springer
The application of resource-defined fitness sharing (RFS) to shape nesting problems reveals a remarkable ability to discover tilings [7, 8]. These tilings represent exact covers...