Sciweavers

989 search results - page 65 / 198
» HowNet and Its Computation of Meaning
Sort
View
CHI
2010
ACM
16 years 1 months ago
Spyn: augmenting the creative and communicative potential of craft
We present data collected from a field study of 12 needlecrafters introduced to Spyn—mobile phone software that associates digital records (audio/visual media, text, and geograp...
Daniela Karin Rosner, Kimiko Ryokai
SAC
2010
ACM
16 years 1 months ago
Dual analysis for proving safety and finding bugs
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
Corneliu Popeea, Wei-Ngan Chin
160
Voted
PAM
2010
Springer
16 years 29 days ago
Yes, We LEDBAT: Playing with the New BitTorrent Congestion Control Algorithm
Since December 2008, the official BitTorrent client is using a new congestion-control protocol for data transfer, implemented at the application layer and built over UDP at the tr...
Dario Rossi, Claudio Testa, Silvio Valenti
WISE
2006
Springer
16 years 4 days ago
Quantified Matchmaking of Heterogeneous Services
As the service-oriented computing paradigm and its related technologies mature, it is expected that electronic services will continue to grow in numbers. In such a setting, the cou...
Michael Pantazoglou, Aphrodite Tsalgatidou, George...
SAC
2006
ACM
16 years 3 days ago
Union types for object-oriented programming
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
Atsushi Igarashi, Hideshi Nagira