543 search results - page 92 / 109 » FMC: An Approach Towards Architecture-Centric System Develop... |
MMSP
2008
IEEE
14 years 3 months ago
2008
IEEE
—In recent years advanced video codecs have been developed, such as standardized in MPEG-4. The latest video codec H.264/AVC provides compression performance superior to previous...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— In Hierarchical Mobile IPv6(HMIPv6) networks, the system performance is critically affected by the selection of Mobile Anchor Points(MAPs) and its load status. Thus, in this pa...
CSFW
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
AMAST
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
EDBT
2009
ACM
14 years 1 months ago
2009
ACM
As a result of the changing scope of data management towards the management of highly distributed systems and applications, integration processes have gained in imporuch integrati...