2797 search results - page 350 / 560 » Code query by example |
123
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...
123
click to vote
WSC
1996
15 years 5 months ago
1996
Construction operations are often repetitive not only in terms of time (the same tasks are performed over and over) but also in terms of space (the same tasks are repeated at seve...
157
click to vote
AIS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract This article attempts to demystify computer vision for novice programmers through a survey of new applications in the arts, system design considerations, and contemporary ...
174
click to vote
ENTCS
2006
15 years 4 months ago
2006
We present a runtime verification framework for Java programs. Properties can be specified in Linear-time Temporal Logic (LTL) over AspectJ pointcuts. These properties are checked...
137
click to vote
IJWGS
2006
15 years 4 months ago
2006
: This paper presents a systematic study of some major problems involved in the transformation of business process modelling languages to executable business process representation...