1134 search results - page 150 / 227 » Distributed Proving in Access-Control Systems |
162
Voted
XPU
2004
Springer
15 years 9 months ago
2004
Springer
We describe how a small, successful, self-selected XP team approached a seemingly intractable problem with panache, flair and immodesty. We rewrote a legacy application by deliver...
175
Voted
RTCSA
1998
IEEE
15 years 8 months ago
1998
IEEE
Snap-shot mechanisms are used to read a globally consistent set of variable values. Such a mechanism can be used to solve a variety of communication and synchronization problems, ...
143
Voted
IJCAI
1989
15 years 4 months ago
1989
The knowledge to be acquired for the development of knowledge based systems is often distributed across a group of experts rather than available for elicitation from a single expe...
101
Voted
IOR
2007
15 years 3 months ago
2007
We compare two inventory systems, one in which excess demand is lost and the other in which excess demand is backordered. Both systems are reviewed periodically. They experience t...
143
Voted
ENTCS
2008
15 years 3 months ago
2008
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...