6960 search results - page 1127 / 1392 » Continuity Analysis of Programs |
118
click to vote
IADIS
2003
15 years 5 months ago
2003
This paper challenges the generic single conceptual viewpoint that designers have of groupware and specifically Groupware Calendar Systems (GCS). From the analysis of interviews, ...
123
Voted
SODA
2004
ACM
15 years 5 months ago
2004
ACM
We describe a machine model for automatically dynamizing static algorithms and apply it to historyindependent data structures. Static programs expressed in this model are dynamize...
131
click to vote
ACL
1997
15 years 5 months ago
1997
This paper presents a new approach to bitext correspondence problem (BCP) of noisy bilingual corpora based on image processing (IP) techniques. By using one of several ways of est...
WSC
1998
15 years 5 months ago
1998
In this work we report the results of a discrete time simulation model that we developed for an equipment rental business to study the impact of business decisions. The whole tool...
123
Voted
SOSP
1997
ACM
15 years 5 months ago
1997
ACM
This paper presents a new model for controlling information flow in systems with mutual distrust and decentralized authority. The model allows users to share information with dis...