10568 search results - page 1931 / 2114 » Computer Intelligence and Formalization |
164
click to vote
EWSA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
198
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Google’s project to digitize five of the world's greatest libraries will dramatically extend their search engine reach in the future. Current search-engine philosophy, which...
176
click to vote
ICLP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
185
click to vote
IFL
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
168
click to vote
MMMACNS
2005
Springer
15 years 12 months ago
2005
Springer
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...