6381 search results - page 147 / 1277 » Alternative Implementation of the C |
112
click to vote
ARTMED
1999
15 years 4 months ago
1999
In this paper, we describe how user-adapted explanations about drug prescriptions can be generated from already existing data sources. We start by illustrating the two-step approa...
131
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
121
click to vote
ENTCS
2008
15 years 4 months ago
2008
We describe the experience of implementing a Domain-Specific Language using transformation to a General Purpose Language. The domain of application is image processing and low-lev...
128
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Until recently little research had been undertaken into the process of eCommerce implementation, especially in relation to the implementation of business-to-business (B2B) relatio...
128
click to vote
USENIX
1994
15 years 5 months ago
1994
In this paper, we demonstrate a technique called active probing used to study TCP implementations. Active probing treats a TCP implementation as a black box, and uses a set of pro...