4770 search results - page 863 / 954 » Flexible Type Analysis |
107
click to vote
NETGAMES
2003
ACM
15 years 5 months ago
2003
ACM
: This paper outlines the basic spatial principles of level design in multi-player first-person shooters with special reference to Counterstrike, basing itself on experiment, analy...
137
click to vote
PLDI
2003
ACM
15 years 5 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
128
click to vote
CSFW
2002
IEEE
15 years 4 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
101
click to vote
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
The MapReduce framework is increasingly being used to analyze large volumes of data. One important type of data analysis done with MapReduce is log processing, in which a click-st...
DESRIST
2009
Springer
15 years 4 months ago
2009
Springer
In information system development, end-users often participate in design and in many cases learn to design their own system. Design, however, requires a distinct approach that use...