Sciweavers

598 search results - page 83 / 120
» Efficient and User-Friendly Verification
Sort
View
IWCMC
2010
ACM
13 years 8 months ago
Network mobility support in PMIPv6 network
In this paper, we propose a network mobility supporting scheme (N-NEMO) in Proxy Mobile IPv6 (PMIPv6) network, which is an issue still up in the air for the PMIPv6. In the N-NEMO,...
Zhiwei Yan, Sidong Zhang, Huachun Zhou, Hongke Zha...
QEST
2010
IEEE
13 years 8 months ago
DTMC Model Checking by SCC Reduction
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
Erika Ábrahám, Nils Jansen, Ralf Wim...
ACL
2009
13 years 8 months ago
Chinese Term Extraction Using Different Types of Relevance
This paper presents a new term extraction approach using relevance between term candidates calculated by a link analysis based method. Different types of relevance are used separa...
Yuhang Yang, Tiejun Zhao, Qin Lu, Dequan Zheng, Ha...
CVPR
2007
IEEE
15 years 23 days ago
Object retrieval with large vocabularies and fast spatial matching
In this paper, we present a large-scale object retrieval system. The user supplies a query object by selecting a region of a query image, and the system returns a ranked list of i...
James Philbin, Ondrej Chum, Michael Isard, Josef S...
AGTIVE
2007
Springer
14 years 2 months ago
Transforming Timeline Specifications into Automata for Runtime Monitoring
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
Eric Bodden, Hans Vangheluwe