Sciweavers

3706 search results - page 143 / 742
» System Description: E-KRHyper
Sort
View
IIR
2010
13 years 10 months ago
Thinking of a System for Image Retrieval
Increasing applications are demanding effective and efficient support to perform retrieval in large collections of digital images. The work presented here is an early stage resear...
Giovanna Castellano, Gianluca Sforza, Maria Alessa...
USS
2010
13 years 7 months ago
ZKPDL: A Language-Based System for Efficient Zero-Knowledge Proofs and Electronic Cash
In recent years, many advances have been made in cryptography, as well as in the performance of communication networks and processors. As a result, many advanced cryptographic pro...
Sarah Meiklejohn, C. Christopher Erway, Alptekin K...
USENIX
1994
13 years 10 months ago
An Overview of the NetWare Operating System
The NetWare operating system is designed specifically to provide service to clients over a computer network. This design has resulted in a system that differs in several respects ...
Drew Major, Greg Minshall, Kyle Powell
APSEC
2007
IEEE
14 years 3 months ago
Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
João M. Fernandes, Jens Bæk Jø...
CAEPIA
2003
Springer
14 years 2 months ago
A Document-Oriented Approach to the Development of Knowledge Based Systems
ADDS (Approach to Document-based Development of Software) is an approach to the development of applications based on a document-oriented paradigm. According to this paradigm, appli...
José Luis Sierra, Baltasar Fernández...