Sciweavers

5101 search results - page 349 / 1021
» Capturing Context Requirements
Sort
View
CORR
2004
Springer
92views Education» more  CORR 2004»
15 years 6 months ago
SDS : Une infrastructure d'installation de logiciels libres pour des organisations multi-sites
Free and open source software is more and more used for software developments on UNIX systems. We are proposing a solution to control the deployment of free software in the context...
Laurent Charles, Manuel Vacelet, Mohamed Chaari, M...
ENTCS
2002
105views more  ENTCS 2002»
15 years 6 months ago
Barbs and Congruences for Safe Mobile Ambients
The Ambient Calculus offers many ways in which processes can interact and be observed. In the context of Levi and Sangiorgi's Safe Mobile Ambients (SA), the extra co-capabili...
Maria Grazia Vigliotti, Iain Phillips
IJDE
2002
82views more  IJDE 2002»
15 years 6 months ago
Practical Approaches to Recovering Encrypted Digital Evidence
As more criminals use encryption to conceal incriminating evidence, forensic examiners require practical methods for recovering some or all of the encrypted data. This paper prese...
Eoghan Casey
JLP
1998
147views more  JLP 1998»
15 years 6 months ago
Automated Reasoning with a Constraint-Based Metainterpreter
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
Henning Christiansen
TSMC
2002
121views more  TSMC 2002»
15 years 6 months ago
Need to know-information, knowledge, and decision making
Abstract--The success of information and knowledge management depends on understanding and supporting the user's need to know. This requires understanding humans' abiliti...
William B. Rouse