2940 search results - page 429 / 588 » Relational Parametricity and Control |
75
Voted
ELPUB
2006
ACM
15 years 4 months ago
2006
ACM
A text parsing component designed to be part of a system that assists students in academic reading an writing is presented. The parser can automatically add a relational discourse...
92
Voted
MOBIWAC
2006
ACM
15 years 4 months ago
2006
ACM
In wireless sensor networks data propagation is usually performed by sensors transmitting data towards a static control center (sink). Inspired by important applications (mostly r...
66
Voted
UIST
2006
ACM
15 years 4 months ago
2006
ACM
We explore the design space of a two-sided interactive touch table, designed to receive touch input from both the top and bottom surfaces of the table. By combining two registered...
86
Voted
VALUETOOLS
2006
ACM
15 years 4 months ago
2006
ACM
— Multi-server and multi-queue architectures are common mechanisms used in a large variety of applications (call centers, Web services, computer systems). One of the major motiva...
82
Voted
APSEC
2005
IEEE
15 years 3 months ago
2005
IEEE
In typical open source software development, developers use revision control systems for product management, mailing list systems for human communications, and bug tracking system...