Sciweavers

4444 search results - page 530 / 889
» Modelling Dynamic Web Data
Sort
View
ISOLA
2010
Springer
15 years 4 months ago
A Memory Model for Static Analysis of C Programs
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...
Zhongxing Xu, Ted Kremenek, Jian Zhang
SECRYPT
2010
147views Business» more  SECRYPT 2010»
15 years 4 months ago
Security Models for Heterogeneous Networking
Security for Next Generation Networks (NGNs) is an attractive topic for many research groups. The Y-Comm security group believes that a new security approach is needed to address t...
Glenford E. Mapp, Mahdi Aiash, Aboubaker Lasebae, ...
CSSE
2008
IEEE
16 years 19 days ago
Modeling and Implementation for Embedded DC Motor Ethernet Control System
—In this paper, a model of Embedded DC Motor Ethernet Control System is proposed with analysis on transmission time delay and data packet dropout. Based on this model, the ECS is...
Lingbo Zhu, Guanzhong Dai, Li Shin, Xuefang Lin-Sh...
ICRA
2007
IEEE
140views Robotics» more  ICRA 2007»
16 years 14 days ago
Recognising and Modelling Landmarks to Close Loops in Outdoor SLAM
Abstract— In this paper, simultaneous localisation and mapping (SLAM) is combined with landmark recognition to close large loops in unstructured, outdoor environments. Camera and...
Fabio T. Ramos, Juan Nieto, Hugh F. Durrant-Whyte
ICMCS
2006
IEEE
125views Multimedia» more  ICMCS 2006»
16 years 6 days ago
Modeling Adaptive Media Processing Workflows
ARIA, ARchitecture for Interactive Arts, is a middleware to process, filter, and fuse sensory inputs and actuate responses in real-time. An ARIA media processing workflow descri...
K. Selçuk Candan, Gisik Kwon, Lina Peng, Ma...