3713 search results - page 493 / 743 » Constructing a Calculus of Programs |
132
Voted
ICSE
2005
IEEE-ACM
16 years 4 months ago
2005
IEEE-ACM
We demonstrate a tool to incrementally synchronize an Acme architectural model described in the Acme Architectural Description Language (ADL) with an implementation in ArchJava, a...
111
click to vote
ER
2009
Springer
15 years 10 months ago
2009
Springer
Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information ...
141
click to vote
ICMT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Graph transformation has a well-established theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and t...
131
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
We have considered a problem of continuous piecewise linear approximation of the digital curves with a minimum number of the line segments. Fast suboptimal algorithm for constrain...
150
click to vote
SRDS
2008
IEEE
15 years 10 months ago
2008
IEEE
We identify here various kinds of failure conditions and robustness issues that arise in context-aware pervasive computing applications. Such conditions are related to failures in...