3429 search results - page 541 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
149
Voted
ENTCS
2006
15 years 3 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
101
Voted
ACL
2012
13 years 6 months ago
2012
Syntax-based translation models that operate on the output of a source-language parser have been shown to perform better if allowed to choose from a set of possible parses. In thi...
107
Voted
CSL
2001
Springer
15 years 8 months ago
2001
Springer
We reveal a symmetric structure in the ho/n games model of innocent strategies, introducing rigid strategies, a concept dual to bracketed strategies. We prove a direct definabilit...
106
Voted
CCS
1997
ACM
15 years 7 months ago
1997
ACM
Dynamic linking is a requirement for portable executable content. Executable content cannot know, ahead of time, where it is going to be executed, nor know the proper operating sy...
135
Voted
ICWS
2007
IEEE
15 years 5 months ago
2007
IEEE
In this paper we describe a platform that supports context aware runtime service discovery. The platform supports service discovery based on structural and behavioural service mod...