4211 search results - page 465 / 843 » A formal approach to MASQ |
165
click to vote
CORR
2008
Springer
15 years 7 months 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 ...
141
click to vote
DKE
2008
15 years 7 months ago
2008
To enable effective cross-organizational collaborations, process providers have to offer external views on their internal processes to their partners. A process view hides details...
146
click to vote
ENTCS
2010
15 years 7 months ago
2010
We present a novel specification language called JDC to be used at design phase of distributed components. The extensive seek for asynchrony in distributed components demands new ...
189
click to vote
AAI
2006
15 years 7 months ago
2006
Enabling and managing coordination activities between autonomous, possibly mobile, computing entities in dynamic computing scenarios challenges traditional approaches to distribut...
166
click to vote
ENTCS
2008
15 years 7 months ago
2008
Logic meta-programming in Prolog is a powerful way to express program analysis and transformation. However, its use can be difficult and error-prone because it requires programmer...