3425 search results - page 79 / 685 » A Model Driven Approach for Software Systems Reliability |
134
click to vote
ECMDAFA
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper we report on our experience on using the socalled model-driven security approach in an MDA industrial project. In model-driven security, "designers spe...
130
Voted
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—The recently developed small wireless devices ranging from sensor boards to mobile phones provide a timely opportunity to gather unique data sets on complex human interactions, ...
127
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
169
click to vote
DKE
2011
14 years 10 months ago
2011
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simpl...
135
click to vote
AC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain...