Sciweavers

4814 search results - page 544 / 963
» Combining abstract interpreters
Sort
View
CDC
2008
IEEE
148views Control Systems» more  CDC 2008»
16 years 1 months ago
Recursive state estimation for linear systems with mixed stochastic and set-bounded disturbances
Abstract— Recursive state estimation is considered for discrete time linear systems with mixed process and measurement disturbances that have stochastic and (convex) set-bounded ...
Toivo Henningsson
DASFAA
2008
IEEE
90views Database» more  DASFAA 2008»
16 years 1 months ago
Even an Ant Can Create an XSD
Abstract. The XML has undoubtedly become a standard for data representation and manipulation. But most of XML documents are still created without the respective description of its ...
Ondrej Vosta, Irena Mlynkova, Jaroslav Pokorn&yacu...
GLOBECOM
2008
IEEE
16 years 1 months ago
Trust Credential Distribution in Autonomic Networks
Abstract—Autonomic networks are networks that are selforganized with decentralized control and management. Accurate trust establishment and maintenance is essential for secure an...
Tao Jiang, John S. Baras
189
Voted
ICC
2008
IEEE
161views Communications» more  ICC 2008»
16 years 1 months ago
Multidimensional Layered Forward Error Correction Using Rateless Codes
Abstract— Modern layered or scalable video coding technologies generate a video bit stream with various inter layer dependencies due to references between the layers. This work p...
Cornelius Hellge, Thomas Schierl, Thomas Wiegand
ICC
2008
IEEE
106views Communications» more  ICC 2008»
16 years 1 months ago
Lightweight Security for Network Coding
Abstract—Under the emerging network coding paradigm, intermediate nodes in the network are allowed not only to store and forward packets but also to process and mix different dat...
João P. Vilela, Luísa Lima, Jo&atild...