5639 search results - page 528 / 1128 » Timed Abstract Non-interference |
169
click to vote
NCA
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract— This paper describes an original approach to writing reactive algorithms on highly dynamic networks. We propose to use randomly mobile agents to gather global informati...
141
click to vote
WISE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In recent times, there has been an increased utilization of serverside XSLT systems as part of e-commerce and e-publishing applications. For the high volumes of data in t...
156
click to vote
WORDS
2005
IEEE
15 years 11 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
181
click to vote
SIGMOD
2005
ACM
15 years 11 months ago
2005
ACM
Recursion represents an important addition to the SQL language. This work focuses on the optimization of linear requeries in SQL. To provide an abstract framework for discussion, ...
138
click to vote
ADMA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper proposes a new support vector machine (SVM) with a robust loss function for data mining. Its dual optimal formation is also constructed. A gradient based algor...