3429 search results - page 299 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
168
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
211
click to vote
EMNLP
2011
14 years 6 months ago
2011
Conversations provide rich opportunities for interactive, continuous learning. When something goes wrong, a system can ask for clarification, rewording, or otherwise redirect the...
199
click to vote
ESEC
1997
Springer
15 years 11 months ago
1997
Springer
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...
182
click to vote
REX
1993
15 years 11 months ago
1993
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
103
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
paper we will discuss the design of abstract firewall model along with platform-independent policy definition language. We will also discuss the main design challenges and solutio...