3082 search results - page 279 / 617 » Deviation Analysis: A New Use of Model Checking |
162
click to vote
DRM
2004
Springer
15 years 12 months ago
2004
Springer
This paper describes a security architecture allowing digital rights management in home networks consisting of consumer electronic devices. The idea is to allow devices to establi...
170
click to vote
LCPC
1999
Springer
15 years 11 months ago
1999
Springer
One of the challenges present to a Java compiler is Java’s frequent use of runtime exceptions. These exceptions affect performance directly by requiring explicit checks, as wel...
168
click to vote
ICMLC
2010
Springer
15 years 4 months ago
2010
Springer
: In this paper, we propose a new approach to improve the translation quality by adding the Key-Words of a sentence to the parallel corpus. The main idea of the approach is to find...
199
click to vote
INFOCOM
2007
IEEE
16 years 27 days ago
2007
IEEE
— Scalable and efficient routing is a main challenge in the deployment of large ad hoc wireless networks. An essential element of practical routing protocols is their accommodat...
159
click to vote
CIKM
2004
Springer
15 years 12 months ago
2004
Springer
Mining massive temporal data streams for significant trends, emerging buzz, and unusually high or low activity is an important problem with several commercial applications. In th...