4377 search results - page 862 / 876 » Application Driven Software Development |
112
click to vote
CIKM
2001
Springer
15 years 5 months ago
2001
Springer
If XML is to play the critical role of the lingua franca for Internet data interchange that many predict, it is necessary to start designing and adopting benchmarks allowing the c...
118
click to vote
ICCBR
2001
Springer
15 years 5 months ago
2001
Springer
It is useful for an intelligent software agent to be able to adapt to new demands from an environment. Such adaptation can be viewed as a redesign problem; an agent has some origin...
120
click to vote
HPDC
2000
IEEE
15 years 5 months ago
2000
IEEE
The BaBar experiment at the Stanford Linear Accelerator Center (SLAC) is designed to perform a high precision investigation of the decays of the B-meson produced from electron-pos...
152
click to vote
RTCSA
1998
IEEE
15 years 5 months ago
1998
IEEE
Snap-shot mechanisms are used to read a globally consistent set of variable values. Such a mechanism can be used to solve a variety of communication and synchronization problems, ...
147
click to vote
CADE
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...