2255 search results - page 47 / 451 » High Assurance Software Systems |
IPPS
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper we propose a new resource discovery protocol, REALTOR, which is based on a combination of pullbased and push-based resource information dissemination. REALTOR has be...
ICSE
2000
IEEE-ACM
14 years 8 days 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...
AIS
2004
Springer
14 years 2 months ago
2004
Springer
The paper proposes three dimensional extension to High Level ARchitecture (HLA) and Runtime Infrastructure (RTI) to solve several issues such as security, information hiding proble...
TWC
2008
13 years 8 months ago
2008
Abstract-- Quality-of-service (QoS) provisioning, high system throughput, and fairness assurance are indispensable for heterogeneous traffic in future wireless broadband networks. ...
AOSD
2007
ACM
14 years 21 days ago
2007
ACM
Embedded systems are an important field of research and will gain momentum in the near future. Many of these systems require data management functionality. Due to the resource con...