6800 search results - page 215 / 1360 » Testing with Functions as Specifications |
137
click to vote
KDD
2004
ACM
16 years 4 months ago
2004
ACM
Analyzing data to find trends, correlations, and stable patterns is an important task in many industrial applications. This paper proposes a new technique based on parallel coordi...
156
click to vote
RSP
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
154
Voted
SC
2000
ACM
15 years 8 months ago
2000
ACM
As evidenced by the popularity of MPI (Message Passing Interface), message passing is an effective programming technique for managing coarse-grained concurrency on distributed com...
150
Voted
AI
1998
Springer
15 years 8 months ago
1998
Springer
The evaluation of a large implemented natural language processing system involves more than its application to a common performance task. Such tasks have been used in the message u...
133
click to vote
CHI
1995
ACM
15 years 7 months ago
1995
ACM
Pre-screen projection is a new interaction technique that allows a user to pan and zoom integrally through a scene simply by moving his or her head relative to the screen. The und...