9264 search results - page 1622 / 1853 » Space Between Languages |
183
click to vote
ICECCS
1999
IEEE
15 years 11 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
168
click to vote
ICMCS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract--In this paper, a procedure is described for the segmentation, content-based coding, and visualization of videoconference image sequences. First, image sequence analysis i...
172
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we present a paradigm to express streams and its implementation. Streams are a convenient mechanism to communicate multimedia data, for example video or audio, betwe...
176
click to vote
HASE
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
170
click to vote
ICPADS
1998
IEEE
15 years 10 months ago
1998
IEEE
Java-Web Computing paradigm changed Internet into computing environment. For Java-Web Computing and many Java applications, a new Java processor, called simultaneous multithreaded...