400 search results - page 41 / 80 » Moving Proofs-As-Programs into Practice |
SI3D
2003
ACM
14 years 2 months ago
2003
ACM
Many virtual environments and games must be populated with synthetic characters to create the desired experience. These characters must move with sufficient realism, so as not to...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
The XML-based Clinical Document Architecture (CDA) for document exchange defines a three-level document architecture with each higher level adding more specificity to the markup o...
ICDCS
2002
IEEE
14 years 1 months ago
2002
IEEE
Abstract—We propose a new geometric spanner for wireless ad hoc networks, which can be constructed efficiently in a distributed manner. It integrates the connected dominating se...
HPCC
2009
Springer
14 years 1 months ago
2009
Springer
—Grid applications need to move large amounts of data between distributed resources within deterministic time frames. In most cases it is possible to specify the volume and the d...
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
Component-oriented and service-oriented approaches have gained a strong enthusiasm in industries and academia with a particular interest for service-oriented approaches. The servic...