4196 search results - page 703 / 840 » Supporting the development of network programs |
116
click to vote
CSL
2004
Springer
15 years 8 months ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...
121
Voted
GECCO
2004
Springer
15 years 8 months ago
2004
Springer
Test case design is the most important test activity with respect to test quality. For this reason, a large number of testing methods have been developed to assist the tester with ...
144
Voted
ICSOC
2004
Springer
15 years 8 months ago
2004
Springer
Emerging Web services standards enable the development of large-scale applications in open environments. In particular, they enable services to be dynamically bound. However, curr...
114
Voted
BIBE
2003
IEEE
15 years 8 months ago
2003
IEEE
We examine the organizational impact on phylogenetic databases of the increasing sophistication in the need and use of phylogenetic data. A primary issue is the use of the unnorma...
118
Voted
ISMAR
2003
IEEE
15 years 8 months ago
2003
IEEE
This demonstration will highlight the Designer’s Augmented Reality Toolkit (DART), a system that allows users to easily create augmented reality (AR) experiences. Over the past ...