1746 search results - page 136 / 350 » A Constructive Semantics for ALC |
131
click to vote
ESOP
2003
Springer
15 years 9 months ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
143
click to vote
CONCUR
1992
Springer
15 years 8 months ago
1992
Springer
Petri Place/Transition (PT) nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the "...
169
Voted
JUCS
2008
15 years 4 months ago
2008
Abstract: Collaborative learning systems can be constructed following the serviceoriented computing paradigm. This allows educators to integrate external tools, offered as services...
160
click to vote
PVLDB
2008
15 years 4 months ago
2008
Despite the intense interest towards realizing the Semantic Web vision, most existing RDF data management schemes are constrained in terms of efficiency and scalability. Still, th...
150
Voted
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
Traditional process support systems typically offer a static composition of atomic tasks to more powerful services. In the real world, however, processes change over time: busines...