2838 search results - page 358 / 568 » Verifying Controlled Components |
136
Voted
JAIR
2002
15 years 11 days ago
2002
The recursive least-squares (RLS) algorithm is one of the most well-known algorithms used in adaptive filtering, system identification and adaptive control. Its popularity is main...
121
click to vote
CORR
2010
Springer
15 years 9 days ago
2010
Springer
Two-ray ground reflection model has been widely used as the propagation model to investigate the performance of an ad hoc network. But two-ray model is too simple to represent a r...
120
click to vote
PPDP
2010
Springer
14 years 10 months ago
2010
Springer
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...
133
click to vote
CCS
2011
ACM
14 years 20 days ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
81
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
This paper describes an ultra low power active RFID tag and its automated design flow. RFID primitives to be supported by the tag are enumerated with RFID macros and the behavior ...