56 search results - page 9 / 12 » Interactive Layout Generation with a Diagrammatic Constraint... |
OOPSLA
2005
Springer
14 years 28 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...
PRDC
2005
IEEE
14 years 1 months ago
2005
IEEE
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
TASE
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
TSMC
2008
13 years 7 months ago
2008
Abstract-- A service-oriented system is a collection of independent services that interact with one another through message exchanges. Languages such as the Web Services Descriptio...
CHARME
2003
Springer
14 years 20 days ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...