3429 search results - page 650 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
POPL
2009
ACM
14 years 8 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
ECOOP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Interaction protocols are a popular means to construct correct component-based systems. Aspects that modify such protocols are interesting in this context because they su...
ODRL
2004
13 years 9 months ago
2004
The paper describes experiences, ideas, and problems that were discovered while developing a digital rights management (DRM) extension to an XML browser. The supported rights desc...
NN
2007
Springer
13 years 7 months ago
2007
Springer
Echo State Networks (ESNs) have been shown to be effective for a number of tasks, including motor control, dynamic time series prediction, and memorizing musical sequences. Howeve...
USS
2008
13 years 10 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...