1950 search results - page 173 / 390 » Lambda-Free Logical Frameworks |
172
click to vote
P2P
2005
IEEE
16 years 7 days ago
2005
IEEE
A resource directory is a critical component of a Grid architecture. P2P computing paradigm could address some of the scalability issues that make distributed resource discovery s...
176
click to vote
WWW
2005
ACM
16 years 6 days ago
2005
ACM
In recent years, many algorithms for the Web have been developed that work with information units distinct from individual web pages. These include segments of web pages or aggreg...
206
click to vote
RULEML
2005
Springer
16 years 4 days ago
2005
Springer
an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML . 45 Adrian Giurca and Gerd Wagner A Semantic Web Framework for Interleaving Policy Reasoning and External Servic...
167
click to vote
RE
2004
Springer
16 years 14 hour ago
2004
Springer
Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. Though AOSD techniques have been proposed to han...
161
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Execution behavior of a Java application can be nondeterministic due to concurrent threads of execution, thread scheduling, and variable network delays. This nondeterminism in Jav...