3429 search results - page 70 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
SIGCOMM
2010
ACM
13 years 8 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
ICECCS
2008
IEEE
14 years 2 months ago
2008
IEEE
Semantic Web Services have been one of the most significant research areas within the Semantic Web vision, and have been recognized as a promising technology that exhibits huge c...
ESOP
2001
Springer
14 years 9 days ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
EDOC
2006
IEEE
14 years 1 months ago
2006
IEEE
WOLLIC
2009
Springer
14 years 2 months ago
2009
Springer
After briefly mentioning the historical background of PLL/SRL, we examine PRISM, a logic-based modeling language, as an instance of PLL/SRL research. We first look at the distrib...