Sciweavers

5639 search results - page 666 / 1128
» Timed Abstract Non-interference
Sort
View
TELETRAFFIC
2007
Springer
16 years 15 days ago
A Phase-Type Based Markov Chain Model for IEEE 802.16e Sleep Mode and Its Performance Analysis
Abstract. To support battery powered mobile broadband wireless access devices efficiently, IEEE 802.16e defines a sleep mode operation for conserving the power of mobile terminals...
Zhisheng Niu, Yanfeng Zhu, Vilius Benetis
178
Voted
WDAG
2007
Springer
132views Algorithms» more  WDAG 2007»
16 years 15 days ago
Detecting Temporal Logic Predicates on Distributed Computations
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
Vinit A. Ogale, Vijay K. Garg
CBMS
2006
IEEE
16 years 14 days ago
Efficient Rotation Invariant Retrieval of Shapes with Applications in Medical Databases
Recognition of shapes in images is an important problem in computer vision with application in various medical problems, including robotic surgery and cell analysis. The similarit...
Selina Chu, Shrikanth S. Narayanan, C. C. Jay Kuo
INFOCOM
2006
IEEE
16 years 13 days ago
Stall and Path Monitoring Issues in SCTP
Abstract— This paper presents how SCTP can stall in multihomed scenarios during failover and under certain circumstances. A stall is where an SCTP end-point ceases to communicate...
James Noonan, Philip Perry, Seán Murphy, Jo...
ISCAS
2006
IEEE
146views Hardware» more  ISCAS 2006»
16 years 13 days ago
XML-based customization along the scalability axes of H.264/AVC scalable video coding
Abstract— The heterogeneity in the current and future multimedia environment requires an elegant adaptation framework for the production and consumption of different kinds of mul...
Davy De Schrijver, Wesley De Neve, Koen De Wolf, S...