3429 search results - page 89 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
CC
2010
Springer
14 years 2 months ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
ICA
2012
Springer
12 years 3 months ago
2012
Springer
Abstract. The use of high level information in source separation algorithms can greatly constrain the problem and lead to improved results by limiting the solution space to semanti...
COORDINATION
2006
Springer
13 years 11 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
AINA
2005
IEEE
14 years 1 months ago
2005
IEEE
Many existing software applications involve complex application layer implemented in OO programming languages and at the same time use relational database systems as back-end data...
FOIKS
2006
Springer
13 years 11 months ago
2006
Springer
This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modeling language able to express both timestampi...