4731 search results - page 706 / 947 » Securing Interactive Programs |
164
click to vote
CASSIS
2004
Springer
16 years 11 hour ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
177
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
The Fluent Calculus has largely been focused on building agents that work individually. However, agents often need to interact with each other to learn more about their environmen...
166
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
The paper presents Heterogeneous MPI (HMPI), an extension of MPI for programming high-performance computations on heterogeneous networks of computers. It allows the application pr...
163
click to vote
IV
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we present a new framework for the use of Virtual Reality (VR) in engineering design for configuration applications. Traditional VR systems support the visual explo...
164
click to vote
VISUALIZATION
2003
IEEE
15 years 12 months ago
2003
IEEE
Segmentation of structures from measured volume data, such as anatomy in medical imaging, is a challenging data-dependent task. In this paper, we present a segmentation method tha...