819 search results - page 144 / 164 » Using Assumptions to Distribute CTL Model Checking |
127
Voted
AMW
2010
15 years 3 months ago
2010
We study query authentication schemes, algorithmic and cryptographic constructions that provide efficient and secure protocols for verifying the results of queries over structured...
114
click to vote
ESWA
2006
15 years 2 months ago
2006
Due to the exponential growth of documents on the Internet and the emergent need to organize them, the automated categorization of documents into predefined labels has received an...
167
click to vote
ASMTA
2010
Springer
15 years 15 days ago
2010
Springer
Due to the overall growing demand on the network resources and tight restrictions on the power consumption, the requirements to the long-term scalability, cost and performance capa...
261
Voted
RTAS
2011
IEEE
14 years 6 months ago
2011
IEEE
—In this paper, we propose two adaptive scheduling approaches to support real-time control applications with highly varying computation times. The use of a resource reservation s...
130
Voted
MOBIHOC
2002
ACM
16 years 2 months ago
2002
ACM
This paper investigates two fundamental characteristics of a wireless multihop network: its minimum node degree and its k?connectivity. Both topology attributes depend on the spat...