1413 search results - page 170 / 283 » Bisimilarity of Open Terms |
159
click to vote
EUROSEC
2010
ACM
15 years 12 months ago
2010
ACM
The prevalent use of the signature-based approach in modern intrusion detection systems (IDS) emphasizes the importance of the efficient management of the employed signature sets....
185
click to vote
EUROSEC
2010
ACM
15 years 12 months ago
2010
ACM
We present a storage management framework for Web 2.0 services that places users back in control of their data. Current Web services complicate data management due to data lock-in...
131
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
P2P applications have found a lot of interest lately but there are open questions about the viability of the revenue models behind P2P applications/ services. In this paper, we di...
143
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
— We explore the control of a nonholonomic robot subject to additional constraints on the state variables. In our problem, the user specifies the path of a subset of the state v...
193
click to vote
DOCENG
2003
ACM
15 years 11 months ago
2003
ACM
XPath [3, 5] is a powerful and quite successful language able to perform complex node selection in trees through compact specifications. As such, it plays a growing role in many ...