3429 search results - page 450 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
147
click to vote
CONTEXT
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. This paper is devoted to discuss a general tendency in contextualism which is known as "radical contextualism". In the first part I state the well known paradox...
143
click to vote
OTM
2005
Springer
15 years 10 months ago
2005
Springer
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...
127
click to vote
INFSOF
2006
15 years 4 months ago
2006
The parametric data model captures an object in terms of a single tuple. This feature eliminates unnecessary self-join operations to combine tuples scattered in a temporal relatio...
136
Voted
ENTCS
2007
15 years 4 months ago
2007
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
127
click to vote
SPAA
2010
ACM
15 years 9 months ago
2010
ACM
Transactional memory (TM) has shown potential to simplify the task of writing concurrent programs. Inspired by classical work on databases, formal definitions of the semantics of...