3911 search results - page 280 / 783 » Using Operational Architecture to Model Embedded Software |
199
click to vote
CCGRID
2009
IEEE
16 years 1 months ago
2009
IEEE
— Grid infrastructures are in operation around the world, federating an impressive collection of computational resources and a wide variety of application software. In this conte...
211
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
172
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—This paper addresses the problem of execution time estimation for tasks in a software pipeline independent of the application structure or the underlying architecture. A...
146
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Many organizations would benefit from enterprise-wide, shared information systems. It is common for these organizations to have in place a number of smaller information systems, e...
197
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—In the Model-Driven Architecture (MDA) paradigm the Query/View/Transformation (QVT) standard plays a vital role for model transformations. Especially the high-level declarative ...