5550 search results - page 869 / 1110 » Different Approaches to Proof Systems |
193
click to vote
ISPEC
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Access control is a system-wide concern that has both a generic nature and an application dependent characteristic. It is generic as many functions must be protected with...
156
click to vote
ACMDIS
2004
ACM
16 years 5 days ago
2004
ACM
Speech-based applications commonly come with web-based or printed manuals. Alternatively, the dialogue can be designed so that users should be able to start using the application ...
190
click to vote
CSCW
2004
ACM
16 years 5 days ago
2004
ACM
In this paper, we introduce the concept of dynamically changing between centralized, replicated, and hybrid collaboration architectures. It is implemented by providing users a fun...
167
click to vote
JCDL
2004
ACM
16 years 5 days ago
2004
ACM
Archaeologists have to deal with vast quantities of information, generated both in the field and laboratory. That information is heterogeneous in nature, and different projects ha...
215
click to vote
EUROMICRO
2003
IEEE
16 years 1 days ago
2003
IEEE
: The approach of aggregating components into complex software systems is maturing with the rapid development of component technology. How to analyze software reliability from syst...