7080 search results - page 1297 / 1416 » Designing High Integrity Systems Using Aspects |
132
click to vote
LCPC
2005
Springer
15 years 8 months ago
2005
Springer
Titanium is an explicitly parallel dialect of JavaTM designed for high-performance scientific programming. It offers objectorientation, strong typing, and safe memory management...
121
click to vote
DOCENG
2004
ACM
15 years 8 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
145
click to vote
APWEB
2004
Springer
15 years 8 months ago
2004
Springer
Today, search engine is the most commonly used tool for Web information retrieval, however, its current status is still far from satisfaction. This paper focuses on clustering Web...
115
click to vote
CC
2004
Springer
15 years 8 months ago
2004
Springer
The Generalized LR (GLR) parsing algorithm is attractive for use in parsing programming languages because it is asymptotically efficient for typical grammars, and can parse with an...
105
click to vote
INFOCOM
2003
IEEE
15 years 8 months ago
2003
IEEE
—This paper is aimed at designing a congestion control system that scales gracefully with network capacity, providing high utilization, low queueing delay, dynamic stability, and...