2935 search results - page 402 / 587 » An Integrated Approach to High Integrity Software Verificati... |
175
click to vote
ECIS
2000
15 years 7 months ago
2000
Even though security requirements in health care are traditionally high, most computerized health care applications lack sophisticated security measures or focus only on single sec...
142
click to vote
COLING
1996
15 years 7 months ago
1996
Unification-based theories of grammar allow to integrate different levels of linguistic descriptions in the common framework of typed feature structures. Dependencies among the le...
153
click to vote
ADT
2006
15 years 6 months ago
2006
Data confidentiality has become a major concern for individuals as well as for companies and administrations. In a classical client-server setting, the access control management is...
179
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The design of complex Systems-on-Chips implies to take into account communication and memory access constraints for the integration of dedicated hardware accelerator. In this paper...
158
click to vote
DEBU
2007
15 years 6 months ago
2007
Work on early tiny database systems, like TinyDB [17] and Cougar [23] has shown that a declarative approach can provide a powerful and easy to use interface for collecting data fr...