Sciweavers

985 search results - page 104 / 197
» A Caching Model of Operating System Kernel Functionality
Sort
View
SAC
2003
ACM
15 years 10 months ago
Designing and Specifying Mobility within the Multiagent Systems Engineering Methodology
Recently, researchers have created many platforms and applications for mobile agents; however, current Agent-Oriented Software Engineering (AOSE) methodologies have yet not fully ...
Athie L. Self, Scott A. DeLoach
IPPS
1998
IEEE
15 years 9 months ago
Self-Testing Fault-Tolerant Real-Time Systems
We propose a periodic diagnostic algorithm based on the testing model of computation for real-time systems. The diagnostic task runs on every processor of the system. When the task...
M. Rooholamini, Seyed H. Hosseini
160
Voted
IWFM
2000
167views Formal Methods» more  IWFM 2000»
15 years 6 months ago
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
Claus Pahl
SIGOPSE
2004
ACM
15 years 10 months ago
An approach to benchmarking configuration complexity
Configuration is the process whereby components are assembled or adjusted to produce a functional system that operates at a specified level of performance. Today, the complexity o...
Aaron B. Brown, Joseph L. Hellerstein
ISDA
2005
IEEE
15 years 10 months ago
Multiobjective Optimization Using Adaptive Pareto Archived Evolution Strategy
This paper proposes a novel adaptive representation for evolutionary multiobjective optimization for solving a stock modeling problem. The standard Pareto Achieved Evolution Strat...
Mihai Oltean, Crina Grosan, Ajith Abraham, Mario K...