5639 search results - page 553 / 1128 » Timed Abstract Non-interference |
145
click to vote
SRDS
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract— In this paper, we consider the design of a reliable multicast facility over an unreliable multicast network. Our multicast facility has several interesting properties: ...
186
click to vote
ERLANG
2003
ACM
15 years 11 months ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
181
click to vote
ALS
2003
Springer
15 years 11 months ago
2003
Springer
Despite recent successes in control theoretical programs for limb control, behavior-based cognitive approaches for control are somewhat lacking behind. Insights in psychology and ...
142
click to vote
ASIAN
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A coinduction-based technique to generate an optimal monitor from a Linear Temporal Logic (LTL) formula is presented in this paper. Such a monitor receives a sequence of ...
154
Voted
BTW
2003
Springer
15 years 11 months ago
2003
Springer
Abstract: In this paper, we study adaptive evaluation techniques for querying XMLbased electronic catalogs, and show, by means of experiments performed on real-world catalogs, that...