Sciweavers

3919 search results - page 754 / 784
» Modelling Dynamic Forgetting in Distributed Information Syst...
Sort
View
ICSE
2001
IEEE-ACM
15 years 6 months ago
An Empirical Study of Global Software Development: Distance and Speed
Global software development is rapidly becoming the norm for technology companies. Previous qualitative research suggests that multi-site development may increase development cycl...
James D. Herbsleb, Audris Mockus, Thomas A. Finhol...
CAV
2000
Springer
97views Hardware» more  CAV 2000»
15 years 6 months ago
Detecting Errors Before Reaching Them
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. ...
131
Voted
SMILE
2000
Springer
15 years 5 months ago
Augmented Reality Using Uncalibrated Video Sequences
Abstract. Augmented Reality(AR) aims at merging the real and the virtual in order to enrich a real environment with virtual information. Augmentations range from simple text annota...
Kurt Cornelis, Marc Pollefeys, Maarten Vergauwen, ...
126
Voted
COLING
2000
15 years 3 months ago
Structural Feature Selection For English-Korean Statistical Machine Translation
When aligning texts in very different languages such as Korean and English, structural features beyond word or phrase give useful intbrmation. In this paper, we present a method f...
Seonho Kim, Juntae Yoon, Mansuk Song
PDPTA
1997
15 years 3 months ago
Hazard-Free Connection Release
Abstract Fault-tolerant communication in a distributed system requires reliable connection management and message delivery. Reliable connection management includes the guarantee of...
Jennifer E. Walter, Jennifer L. Welch