851 search results - page 38 / 171 » Managing (Requirements) Evolutions of High Assurance Systems |
107
click to vote
GECCO
2008
Springer
14 years 11 months ago
2008
Springer
The main purpose of this paper is to propose a Multi-Agent Autonomic and Bio-Inspired based framework with selfmanaging capabilities to solve complex scheduling problems using coo...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
The company CAD-UL AG develops software tools for embedded systems. Single tools as compilers, linkers and debuggers are offered as well as complete development tool chains for th...
EUROMICRO
1997
IEEE
15 years 2 months ago
1997
IEEE
In this paper we present a security framework for executing foreign programs, called helpers, on a Pocket Companion: a wireless hand-held computer. A helper program as proposed is...
101
click to vote
GCC
2003
Springer
15 years 3 months ago
2003
Springer
Recently, emerging high performance applications require the ability to exploit diverse, geographically distributed resources, specifically, in a Grid environment. A collection of ...
ECIS
2003
14 years 11 months ago
2003
Currently, there is no standard instrument for evaluating learning effectiveness. While final examinations and end-of-semester course evaluation surveys can be used to do this, th...