Sciweavers

417 search results - page 65 / 84
» Orderings for Innermost Termination
Sort
View
ICCNMC
2005
Springer
14 years 1 months ago
Simplified Message Transformation for Optimization of Message Processing in 3G-324M Control Protocol
3G-324M is a multimedia transmission protocol designed for 3G communication environment. Meanwhile H.245 standard is a control protocol in 3G-324M and gives specific descriptions a...
Man-Ching Yuen, Ji Shen, Weijia Jia, Bo Han
ICCS
2005
Springer
14 years 1 months ago
Adaptive Surface Modeling Using a Quadtree of Quadratic Finite Elements
Abstract. This article presents special quadrilateral quadratic refinement elements, which provide geometry and field continuity across Tjunctions where two elements are connecte...
G. P. Nikishkov
ICNC
2005
Springer
14 years 1 months ago
DNA Computing Approach to Construction of Semantic Model
In this paper, after a new DNA-based semantic model is theoretically proposed, the preliminary experiment on construction of the small test model is successfully done. This model, ...
Yusei Tsuboi, Zuwairie Ibrahim, Nobuyuki Kasai, Os...
MIDDLEWARE
2005
Springer
14 years 1 months ago
A reconfigurable group management middleware service for wireless sensor networks
Group management service plays a key role in wireless sensor networks (WSNs) as it provides support to high level middleware services such as object tracking, security, fault-tole...
Mardoqueu Vieira, Nelson Souto Rosa
SAS
2004
Springer
136views Formal Methods» more  SAS 2004»
14 years 27 days ago
Constraint-Based Linear-Relations Analysis
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...