10159 search results - page 1858 / 2032 » System Design Validation Using Formal Models |
98
Voted
ACSAC
2004
IEEE
15 years 6 months ago
2004
IEEE
Many real-world applications use credentials such as passwords as means of user authentication. When accessed from untrusted public terminals, such applications are vulnerable to ...
137
Voted
FSTTCS
2000
Springer
15 years 5 months ago
2000
Springer
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
105
click to vote
IEAAIE
2000
Springer
15 years 5 months ago
2000
Springer
Gathering, maintenance, integration and presentation of statistics are major activities of the Dutch Agricultural Economics Research Institute LEI. In this paper we explore how kno...
107
Voted
GEOINFO
2004
15 years 3 months ago
2004
Abstract: This paper presents a data model for cyclic geographic events useful for nextgeneration geographic information system design. The paper introduces a structure that captur...
86
Voted
ERCIMDL
2010
Springer
15 years 3 months ago
2010
Springer
In this paper we present the digital library assistant (DiLiA). The system aims at augmenting the search in digital libraries in several dimensions. In the project advanced informa...