1789 search results - page 123 / 358 » Extending the Choquet integral |
172
click to vote
APSEC
1998
IEEE
15 years 11 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
145
click to vote
ISN
1997
Springer
15 years 10 months ago
1997
Springer
: The TINA architecture is emerging as an integrated approach to service and network control and management. The ACTS VITAL project aims to extend and refine the TINA architecture ...
195
click to vote
VVS
1992
IEEE
15 years 10 months ago
1992
IEEE
Current techniques for direct volume visualization offer only the ability to examine scalar fields. However most scientific explorations require the examination of vector and poss...
138
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
For a large class of switched systems with zeno phenomenon, classical observer cannot be applied directly since the terms leading to zeno phenomenon are not derivable. However in t...
175
click to vote
APN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper describes the BRITNeY suite, a tool which enables users to create visualizations of formal models. BRITNeY suite is integrated with CPN Tools, and we give an e...