12981 search results - page 2299 / 2597 » Model Checking (Abstract) |
141
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— The design of robust and area efficient power distribution networks for high speed, high complexity integrated circuits has become a challenging task. The integrity of...
115
click to vote
GROUP
2003
ACM
15 years 9 months ago
2003
ACM
Data are a fundamental component of science and engineering work, and the ability to share data is critical to the validation and progress of science. Data sharing and reuse in so...
146
click to vote
SIGIR
2003
ACM
15 years 9 months ago
2003
ACM
Due to both the size and growth of the internet, new tools are needed to assist with the finding and extraction of very specific resources relevant to a user's task. Previous...
165
click to vote
ACISP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper examines the access control requirements of distributed health care information networks. Since the electronic sharing of an individual’s personal health inf...
144
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In this paper, we consider the process algebra ACPL, which models the basics of agent communication. This algebra combines the informationprocessing aspects of Concurrent...