2364 search results - page 17 / 473 » An Engine for Computing Well-Founded Models |
127
Voted
EDOC
2007
IEEE
15 years 10 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...
118
Voted
EDOC
2008
IEEE
15 years 10 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...
105
click to vote
ISORC
2005
IEEE
15 years 9 months 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...
121
Voted
TES
2005
Springer
15 years 9 months 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 ...
136
Voted
OOPSLA
2005
Springer
15 years 9 months 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...