11212 search results - page 1912 / 2243 » Semi-persistent Data Structures |
201
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
157
click to vote
SIGGRAPH
2010
ACM
15 years 3 months ago
2010
ACM
Although animation is one of the most compelling aspects of computer graphics, the possibilities for depicting the movement that make dynamic scenes so exciting remain limited for...
204
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
—Autonomous wireless agents such as unmanned aerial vehicles, mobile base stations, or self-operating wireless nodes present a great potential for deployment in next-generation w...
150
click to vote
DIS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. One of the main goals of Discovery Science is the development and analysis of methods for automatic knowledge discovery in the natural sciences. A central area of natural...
162
click to vote
EDBT
2010
ACM
15 years 3 months ago
2010
ACM
Private matching between datasets owned by distinct parties is a challenging problem with several applications. Private matching allows two parties to identify the records that ar...