514 search results - page 68 / 103 » Foundations of Aggregation Constraints |
145
Voted
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
—The main goal of a streaming application is to enable the successful decoding of each video object before its displaying deadline is violated, and to recover from a deadline vio...
160
Voted
ADAPTIVE
2007
Springer
15 years 9 months ago
2007
Springer
Ontologies and reasoning are the key terms brought into focus by the semantic web community. Formal representation of ontologies in a common data model on the web can be taken as a...
131
click to vote
PPDP
2007
Springer
15 years 9 months ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
142
Voted
ISPW
2005
IEEE
15 years 9 months ago
2005
IEEE
Sound methods of analysis and comparison of software processes are crucial for such tasks as process understanding, process correctness verification, evolution management, proces...
147
Voted
CSL
2005
Springer
15 years 9 months ago
2005
Springer
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...