6514 search results - page 281 / 1303 » Low-Knowledge Algorithm Control |
134
click to vote
ICSM
2007
IEEE
15 years 9 months ago
2007
IEEE
In many application areas, including piracy detection, software debugging and maintenance, situations arise in which there is a need for comparing two versions of a program that d...
142
click to vote
TACAS
1998
Springer
15 years 7 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
128
click to vote
CCS
2006
ACM
15 years 6 months ago
2006
ACM
We introduce the notion of resiliency policies in the context of access control systems. Such policies require an access control system to be resilient to the absence of users. An...
130
click to vote
CISS
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— We consider the network control problem for wireless networks with flow level dynamics under the general k-hop interference model. In particular, we investigate the co...
121
click to vote
IDMS
2001
Springer
15 years 7 months ago
2001
Springer
This paper uses analysis and experiments to study the minimal buffering requirements of congestion controlled multimedia applications. Applications in the Internet must use congest...