2255 search results - page 433 / 451 » High Assurance Software Systems |
151
Voted
SAINT
2005
IEEE
15 years 10 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...
126
click to vote
LCPC
2005
Springer
15 years 10 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...
134
click to vote
CF
2004
ACM
15 years 10 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 ...
152
click to vote
INFOCOM
2002
IEEE
15 years 10 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...
179
click to vote
EKAW
1992
Springer
15 years 9 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...