2186 search results - page 219 / 438 » Model Transformation Technologies in the Context of Modellin... |
ASWSD
2004
Springer
14 years 2 months ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
CIMCA
2005
IEEE
14 years 2 months ago
2005
IEEE
Owing to the increase in both heterogeneity and complexity in today’s networking systems, the need arises for an architecture for network-based services that provides flexibilit...
IUI
2000
ACM
14 years 1 months ago
2000
ACM
Medical information delivery for users with different levels of expertise will be required for the manned mission to Mars due to limited potential for communication with Earth. Th...
POPL
2010
ACM
13 years 9 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
WIKIS
2005
ACM
14 years 2 months ago
2005
ACM
Good documentation benefits every software development project, especially large ones, but it can be hard, costly, and tiresome to produce when not supported by appropriate tools...