Sciweavers

11017 search results - page 376 / 2204
» Closure Systems and their Structure
Sort
View
ECIS
2003
15 years 8 months ago
Fit and social construction in knowledge management systems
This paper proposes a study of the effects of knowledge management systems (KMS) on individual and organizational performance. The study seeks to answer the following question: Wh...
Ghiyoung Im, Arjan Raven
ECEASST
2006
72views more  ECEASST 2006»
15 years 6 months ago
ENFORCe: A System for Ensuring Formal Correctness of High-level Programs
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
Karl Azab, Annegret Habel, Karl-Heinz Pennemann, C...
GD
2007
Springer
16 years 1 months ago
Visualizing Internet Evolution on the Autonomous Systems Level
We propose a visualization approach for large dynamic graph structures with high degree variation and low diameter. In particular, we reduce visual complexity by multiple modes of ...
Krists Boitmanis, Ulrik Brandes, Christian Pich
ICECCS
2002
IEEE
99views Hardware» more  ICECCS 2002»
15 years 11 months ago
Using Aspects to Design a Secure System
Developers of complex systems have to address concerns such as security, availability of services, and timeliness that often are non-orthogonal to traditional design structures, t...
Geri Georg, Indrakshi Ray, Robert B. France
RTCSA
1999
IEEE
15 years 11 months ago
A Method to Improve the Estimated Worst-Case Performance of Data Caching
This paper presents a method for tight prediction of worst-case performance of data caches in highperformance real-time systems. Our approach is to distinguish between data struct...
Thomas Lundqvist, Per Stenström