2364 search results - page 17 / 473 » An Engine for Computing Well-Founded Models |
174
click to vote
EDOC
2007
IEEE
16 years 1 months ago
2007
IEEE
Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem doma...
159
click to vote
EDOC
2008
IEEE
16 years 1 months ago
2008
IEEE
Software development is witnessing the increasing need of version management techniques for supporting the evolution of model-based artefacts. In this respect, metamodels can be c...
154
Voted
ISORC
2005
IEEE
16 years 9 days ago
2005
IEEE
: While the conventional remote method invocation mechanism has been considered for a long time as the primary approach for facilitating interactions among real-time objects, a mul...
163
Voted
TES
2005
Springer
16 years 5 days ago
2005
Springer
Service-oriented Computing (SoC) in general, and e-service orchestrations in particular have the potential to increase reuse and to ease maintainability. Typically, interoperating ...
179
click to vote
OOPSLA
2005
Springer
16 years 6 days ago
2005
Springer
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...