5904 search results - page 539 / 1181 » Requirements for a Composition Language |
186
click to vote
IJCM
2002
15 years 7 months ago
2002
Abstract. The class of systems of uniform recurrence equations (UREs) is closed under unimodular transformations. As a result, every systolic array described by a unimodular mappin...
214
click to vote
TVCG
1998
15 years 6 months ago
1998
—Volume navigation is the interactive exploration of volume data sets by “flying” the viewpoint through the data, producing a volume rendered view at each frame. We present a...
204
click to vote
ICSOC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We consider an approach to service selection wherein service consumers choose services with desired nonfunctional properties to maximize their utility. A consumer’s uti...
197
click to vote
JCS
2010
15 years 5 months ago
2010
Protocol authentication properties are generally trace-based, meaning that authentication holds for the protocol if authentication holds for individual traces (runs of the protoco...
204
click to vote
RTAS
2010
IEEE
15 years 5 months ago
2010
IEEE
Recent research in compositional real-time systems has focused on determination of a component’s real-time interface parameters. An important objective in interface-parameter de...