3564 search results - page 394 / 713 » Evaluating a Formal Modelling Language |
158
click to vote
SCP
2008
15 years 4 months ago
2008
Google's MapReduce programming model serves for processing large data sets in a massively parallel manner. We deliver the first rigorous description of the model including it...
137
click to vote
CLEIEJ
2010
15 years 1 months ago
2010
Global Model Management (GMM) is a model-based approach for managing large sets of interrelated heterogeneous and complex MDE artifacts. Such artifacts are usually represented as ...
150
Voted
TDSC
2010
14 years 10 months ago
2010
Although recent estimates are speaking of 200,000 different viruses, worms, and Trojan horses, the majority of them are variants of previously existing malware. As these variants m...
149
click to vote
AICT
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
162
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBAC’...