509 search results - page 42 / 102 » A Model-Driven Based Environment for Automatic Model Coordin... |
DAGSTUHL
2006
14 years 4 days ago
2006
A major task in designing systems development is the systematic elaboration of functional system requirements and their integration into the environment of the overall technical s...
IEEESCC
2008
IEEE
14 years 5 months ago
2008
IEEE
In order to co-ordinate multiple resource providers in grid environment to meet a common objective, support for negotiation is needed to establish a contract between the users and...
POPL
2012
ACM
12 years 6 months ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
DEDS
2000
13 years 10 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
HASE
1999
IEEE
14 years 3 months ago
1999
IEEE
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...