4445 search results - page 145 / 889 » Reflective Authorization Systems |
141
click to vote
JANCL
2006
15 years 4 months ago
2006
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...
CORR
2010
Springer
15 years 2 months ago
2010
Springer
This paper presents a type theory with a form of equality reflection: provable equalities can be used to coerce the type of a term. Coercions and other annotations, including impl...
158
click to vote
IMAGING
2000
15 years 5 months ago
2000
Recent developments in spectral imaging are pointing toward a future where the demands on color management will require a richer infrastructure than that which is currently offere...
126
click to vote
WIKIS
2005
ACM
15 years 10 months ago
2005
ACM
Wikis are simple to use, asynchronous, Web-based collaborative hypertext authoring systems which are quickly gaining in popularity. In spite of much anecdotal evidence to the effe...
127
click to vote
ECIS
2000
15 years 5 months ago
2000
This paper presents a Web-based, database-oriented set of applications, namely "Public Information" and "Electronic Voting", to support information services (ex...