Sciweavers

1721 search results - page 280 / 345
» On Active and Passive Testing
Sort
View
AGENTS
1997
Springer
15 years 2 months ago
Designing Behaviors for Information Agents
To facilitate the rapid development and open system interoperability of autonomous agents we need to carefully specify and effectively implement various classes of agent behaviors...
Keith Decker, Anandeep Pannu, Katia P. Sycara, Mik...
ICCAD
1996
IEEE
141views Hardware» more  ICCAD 1996»
15 years 2 months ago
An observability-based code coverage metric for functional simulation
Functional simulation is the most widely used method for design verification. At various levels of abstraction, e.g., behavioral, register-transfer level and gate level, the design...
Srinivas Devadas, Abhijit Ghosh, Kurt Keutzer
ACSE
1996
ACM
15 years 2 months ago
Literate programming as an aid to marking student assignments
In a university climate that sees rising student-sta ratios and increasing workloads for academics, any mechanism that reduces the student marking and assessment process must be w...
A. J. Hurst
CSCW
1996
ACM
15 years 2 months ago
Talking to Strangers: An Evaluation of the Factors Affecting Electronic Collaboration
This empirical study examines factors influencing the success of a commercial groupware system in creating group archives and supporting asynchronous communication. The study inve...
Steve Whittaker
SIGMOD
1993
ACM
93views Database» more  SIGMOD 1993»
15 years 1 months ago
Design and Implementation of the Glue-Nail Database System
We describe the design and implementation of the Glue-Nail database system. The Nail language is a purely declarative query language; Glue is a procedural language used for nonque...
Marcia A. Derr, Shinichi Morishita, Geoffrey Phipp...