1268 search results - page 195 / 254 » Verifying distributed systems: the operational approach |
EDOC
2006
IEEE
14 years 4 months ago
2006
IEEE
When building enterprise applications that need to be accessed through a variety of client devices, developers usually strive to implement most of the business logic device-indepen...
EDOC
2006
IEEE
14 years 4 months ago
2006
IEEE
In previous work, we have defined conceptual foundations that can be beneficially used in context modeling. These conceptual foundations include the separation of entity and conte...
WDAG
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Version vectors play a central role in update tracking under optimistic distributed systems, allowing the detection of obsolete or inconsistent versions of replicated dat...
EDOC
2003
IEEE
14 years 3 months ago
2003
IEEE
– An important problem in designing infrastructure to support business-to-business integration (B2Bi) is how to cancel a long-running interaction (either because the user has cha...
EDOC
2003
IEEE
14 years 3 months ago
2003
IEEE
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for s...