2255 search results - page 32 / 451 » High Assurance Software Systems |
EWSPT
2003
Springer
14 years 1 months ago
2003
Springer
We present a new approach for the management and enactment of deployment process by a deployment processor ORYA (Open enviRonment to deploY Applications). ORYA aims to integrate te...
CODES
2004
IEEE
14 years 12 days ago
2004
IEEE
We present a CPU scheduling algorithm, called Energy-efficient Utility Accrual Algorithm (or EUA), for battery-powered, embedded real-time systems. We consider an embedded softwar...
TSE
1998
13 years 8 months ago
1998
—There are many standards which are relevant for building safety or mission critical software systems. An effective standard is one that should help developers, assessors, and us...
ICALT
2006
IEEE
14 years 2 months ago
2006
IEEE
Adaptive learning systems are recognized as one of the most interesting research topics in intelligent learning management systems. Taking as a point of departure the practices an...
ISICT
2003
13 years 10 months ago
2003
Project MEMORIAL [3] is aimed at developing a new technology for creating Web based information systems using interactive electronic documents extracted from their paper originals...