4693 search results - page 384 / 939 » Verifying Hybrid Systems |
102
click to vote
ISCAS
2005
IEEE
16 years 12 days ago
2005
IEEE
— Switched dynamical systems are known to exhibit border collision, in which a particular operation is terminated and a new operation is assumed as one or more parameters are var...
219
click to vote
ICCS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Publish/subscribe model is appropriate in many push based data dissemination applications such as data dissemination services, information sharing, service discovery, etc...
161
click to vote
IFIP
2005
Springer
16 years 9 days ago
2005
Springer
Recently, opacity has proved to be a promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of...
189
click to vote
ICT
2004
Springer
16 years 5 days ago
2004
Springer
Dynamic pricing schemes in telecommunication networks were traditionally employed to create users’ incentives in such a way that the overall utilization is improved and profits a...
162
click to vote
IWDW
2004
Springer
16 years 5 days ago
2004
Springer
Video transcoding technology is useful for seamless video service to guarantee quality of service (QoS). But video transcoding would distort the watermark signal embedded in the vi...