3820 search results - page 638 / 764 » Bounded Model Debugging |
124
click to vote
ESORICS
2004
Springer
15 years 7 months ago
2004
Springer
We present and analyze portable access control mechanisms for large data repositories, in that the customized access policies are stored on a portable device (e.g., a smart card). ...
110
Voted
GRID
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we report experience in the use of computational grids in the domain of natural language processing, particularly in the area of information extraction, to create qu...
139
click to vote
ICSOC
2004
Springer
15 years 7 months ago
2004
Springer
Emerging Web services standards enable the development of large-scale applications in open environments. In particular, they enable services to be dynamically bound. However, curr...
127
Voted
JSSPP
2004
Springer
15 years 7 months ago
2004
Springer
Job scheduling typically focuses on the CPU with little work existing to include I/O or memory. Time-shared execution provides the chance to hide I/O and long-communication latenc...
130
Voted
KES
2004
Springer
15 years 7 months ago
2004
Springer
There is now a huge amount of high quality photometric data available in the literature whose analysis is bound to play a fundamental role in studies of the formation and evolution...