15253 search results - page 2623 / 3051 » Integer-Programming Software Systems |
139
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
We describe SAFIUS, a secure accountable file system that resides over an untrusted storage. SAFIUS provides strong security guarantees like confidentiality, integrity, prevention ...
160
click to vote
ENTCS
2008
15 years 5 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
164
Voted
IAJIT
2008
15 years 5 months ago
2008
: The Gamma-Ray scanning technique effective means for the diagnosis and identification of installations and process's problems in general and in particular in the case of dis...
146
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
Automatic annotation of documents with controlled vocabulary terms (descriptors) from a conceptual thesaurus is not only useful for document indexing and retrieval. The mapping of...
160
click to vote
GPEM
2006
15 years 5 months ago
2006
Genetic programming (GP) extends traditional genetic algorithms to automatically induce computer programs. GP has been applied in a wide range of applications such as software ree...