1615 search results - page 156 / 323 » Distributed Forward Checking |
199
click to vote
AMKM
2003
Springer
15 years 7 months ago
2003
Springer
: Knowledge Management is most necessary and valuable in a collaborative and distributed environment. A problem with commercial knowledge management tools is that they do not unde...
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
We identify different levels of conformance to a protocol (weak, exhaustive, and robust conformance) and show how conformance may be either checked a priori or enforced at runtim...
91
Voted
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
Component platforms play a major role in current distributed information systems. As these systems evolve, components need to be upgraded without breaking the consistency of compo...
113
click to vote
APN
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether tw...
117
Voted
SE
2007
15 years 3 months ago
2007
: Property Driven Development is a methodology to check the validity of a distributed application and its conformance to specified requirements. A first prototype supporting this...