1054 search results - page 139 / 211 » Guarded Expressions in Practice |
147
click to vote
SP
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...
171
click to vote
PLDI
2005
ACM
15 years 11 months ago
2005
ACM
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, en...
153
click to vote
AIME
2005
Springer
15 years 11 months ago
2005
Springer
Time, events, changes, and processes play a major role in medical conceptual modeling. Representation of time-structures and reasoning about time-oriented medical data are importan...
154
click to vote
APWEB
2005
Springer
15 years 11 months ago
2005
Springer
Complex structure and varying requirements increase the difficulties in developing domain specific Web Information Systems. People appeal to a smart tool to customize Web Informati...
155
click to vote
CICLING
2005
Springer
15 years 11 months ago
2005
Springer
Information extraction is concerned with applying natural language processing to automatically extract the essential details from text documents. A great disadvantage of current ap...