Sciweavers

8636 search results - page 477 / 1728
» How Developers Copy
Sort
View
HICSS
1999
IEEE
95views Biometrics» more  HICSS 1999»
15 years 11 months ago
Understanding and Supporting Knowledge Management and Organizational Memory in a City Council
The paper develops a generic framework for analyzing knowledge management in formal decision groups and applies it to council work. Requirements are deduced for a sociotechnical s...
Gerhard Schwabe
160
Voted
IFM
1999
Springer
15 years 11 months ago
Modelling Discrete Behaviour in a Continuous-Time Formalism
Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems therefore involves specifying and reasoning about bot...
Colin J. Fidge
SP
1990
IEEE
15 years 11 months ago
A VMM Security Kernel for the VAX Architecture
This paper describes the development of a virtual-machine monitor (VMM) security kernel for the VAX architecture. The paper particularly focuses on how the system's hardware,...
Paul A. Karger, Mary Ellen Zurko, Douglas W. Bonin...
APLAS
2007
ACM
15 years 11 months ago
On a Tighter Integration of Functional and Logic Programming
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: ...
Bernd Braßel, Frank Huch
ICAC
2007
IEEE
15 years 10 months ago
Evaluation of Optimization Methods for Network Bottleneck Diagnosis
We consider the problem of localizing network performance bottlenecks and evaluate how various optimization techniques developed for reconstructing link delays perform on this dec...
Alina Beygelzimer, Jeffrey O. Kephart, Irina Rish