2173 search results - page 243 / 435 » An operational semantics for skeletons |
91
Voted
CORR
2008
Springer
15 years 24 days ago
2008
Springer
In this paper we present a new approach to data modelling, called the concept-oriented model (CoM), and describe its main features and characteristics including data semantics and ...
126
click to vote
TSE
2008
15 years 18 days ago
2008
Current text based Software Configuration Management (SCM) systems have trouble with refactorings. Refactorings result in global changes which lead to merge conflicts. A refactorin...
100
Voted
IJAR
2010
14 years 11 months ago
2010
Granular Computing is an emerging conceptual and computing paradigm of information processing. A central notion is an information-processing pyramid with different levels of clari...
128
Voted
ICEIS
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper presents a graph-based knowledge representation and reasoning language. This language benefits from an important syntactic operation, which is called a graph homomorphi...
122
click to vote
UTP
2010
14 years 10 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...