2255 search results - page 433 / 451 » High Assurance Software Systems |
SAINT
2005
IEEE
14 years 4 months ago
2005
IEEE
The Mobile Internet scenario encourages the design and development of context-aware applications that provide results depending on context information, such as the relative positi...
LCPC
2005
Springer
14 years 4 months ago
2005
Springer
Programming network processors remains a challenging task since their birth until recently when high-level programming environments for them are emerging. By employing domain speci...
CF
2004
ACM
14 years 4 months ago
2004
ACM
Current instruction fetch policies in SMT processors are oriented towards optimization of overall throughput and/or fairness. However, they provide no control over how individual ...
INFOCOM
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper describes a control mechanism for a future Internet. It is an economic mechanism that enables users to choose different pairs of price/QoS priority levels for network se...
EKAW
1992
Springer
14 years 3 months ago
1992
Springer
Process management is a method for improving Boeing's business processes, however many aspects have been difficult to implement. eQuality is a software system based on a frame...