1358 search results - page 121 / 272 » Proceedings |
119
click to vote
ASYNC
1998
IEEE
15 years 8 months ago
1998
IEEE
We present the XDI Model for specifying delay-insensitive circuits, that is, reactive systems that correctly exchange signals with their environment in spite of unknown delays inc...
160
click to vote
TPHOL
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
134
click to vote
ACCV
1998
Springer
15 years 8 months ago
1998
Springer
Proceedings of the 1998 IEEE Asian Conference on Computer Vision, Hong Kong We present a novel approach to the problem of navigating through a database of color images for the pur...
135
click to vote
ADBIS
1998
Springer
15 years 8 months ago
1998
Springer
For the last many years, workflow management (WFM) has been the focus of intense activity in terms of products, standards and research work worldwide. WFM integrates concepts from ...
129
click to vote
AMAST
1998
Springer
15 years 8 months ago
1998
Springer
The goal of this paper is to develop an algebraic theory of process scheduling. We specify a syntax for denoting processes composed of actions with given durations. Subsequently, w...