2501 search results - page 319 / 501 » Obligations and Their Interaction with Programs |
162
click to vote
CASSIS
2004
Springer
15 years 12 months 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...
163
click to vote
IWAN
2004
Springer
15 years 12 months ago
2004
Springer
Concast is a customizable many-to-one network-layer communication service. Although programmable services like concast can improve the efficiency of group applications, accompanyi...
175
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...
165
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...