8068 search results - page 105 / 1614 » Java Data Objects |
104
click to vote
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
120
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: Three dimensional biomedical image sets are becoming ubiquitous, along with the canonical atlases providing the necessary spatial context for analysis. To make full us...
218
Voted
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
121
Voted
VRML
2010
ACM
15 years 6 months ago
2010
ACM
Thanks to the WebGL graphics API specification for the JavaScript programming language, the possibility of using the GPU capabilities in a web browser without the need for an ad-...
127
Voted
SPLST
2003
15 years 3 months ago
2003
SMS (Short Message Service) is a widely used service for brief communication. Occasionally the data sent using SMS services is confidential in nature and is desired not to be disc...