1168 search results - page 164 / 234 » cases 2000 |
SC
2000
ACM
15 years 2 months ago
2000
ACM
Advances in computing and networking technology, and an explosion in information sources has resulted in a growing number of distributed systems getting constructed out of resourc...
SIGSOFT
2000
ACM
15 years 2 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
SIGSOFT
2000
ACM
15 years 2 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
SIGSOFT
2000
ACM
15 years 2 months ago
2000
ACM
In an increasingly popular model of software distribution, software is developed in one computing environment and deployed in other environments by transfer over the internet. Ext...
SPAA
2000
ACM
15 years 2 months ago
2000
ACM
The computer industry is currently examining the use of strong synchronization operations such as double compareand-swap (DCAS) as a means of supporting non-blocking synchronizati...