6018 search results - page 327 / 1204 » Factored Translation Models |
150
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In this paper we introduce our multi metamodel process ontology (m3po), which is based on various existing reference models and languages from the workflow and choreography domain...
198
click to vote
SPIN
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...
173
Voted
APSEC
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
193
click to vote
EMISA
2005
Springer
16 years 8 days ago
2005
Springer
: XML is an effective universal data-interchange format, and XML Schema has become the preeminent mechanism for describing valid XML document structures. Generalization/specializat...
160
click to vote
ICALP
2004
Springer
16 years 4 days ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...