Sciweavers

4693 search results - page 384 / 939
» Verifying Hybrid Systems
Sort
View
ISCAS
2005
IEEE
103views Hardware» more  ISCAS 2005»
16 years 12 days ago
A subtle link in switched dynamical systems: saddle-node bifurcation meets border collision
— 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...
Yue Ma, Hiroshi Kawakami, Chi K. Michael Tse, Taku...
ICCS
2005
Springer
16 years 9 days ago
Publish/Subscribe Systems on Node and Link Error Prone Mobile Environments
Abstract. Publish/subscribe model is appropriate in many push based data dissemination applications such as data dissemination services, information sharing, service discovery, etc...
Sangyoon Oh, Sangmi Lee Pallickara, Sung Hoon Ko, ...
IFIP
2005
Springer
16 years 9 days ago
Opacity Generalised to Transition Systems
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...
Jeremy Bryans, Maciej Koutny, Laurent Mazaré...
ICT
2004
Springer
110views Communications» more  ICT 2004»
16 years 5 days ago
Priority Telephony System with Pricing Alternatives
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...
Saravut Yaipairoj, Fotios C. Harmantzis
IWDW
2004
Springer
16 years 5 days ago
Watermarking System for QoS Aware Content Adaptation
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...
Tae Meon Bae, Seok Jun Kang, Yong Man Ro