848 search results - page 162 / 170 » A Formal Monitoring-Based Framework for Software Development... |
143
Voted
IJCAI
1989
15 years 4 months ago
1989
The acceptability and effectiveness of an expert system is critically dependent on its user interface. Natural language could be a well-suited communicative medium; however, curre...
123
Voted
SIGIR
2009
ACM
15 years 10 months ago
2009
ACM
Query log analysis has received substantial attention in recent years, in which the click graph is an important technique for describing the relationship between queries and URLs....
161
Voted
AAMAS
2004
Springer
15 years 3 months ago
2004
Springer
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. The complex interactions of ag...
149
Voted
KDD
1999
ACM
15 years 8 months ago
1999
ACM
Code synthesis is routinely used in industry to generate GUIs, form lling applications, and database support code and is even used with COBOL. In this paper we consider the questi...
130
Voted
EUROSYS
2009
ACM
16 years 22 days ago
2009
ACM
Device drivers are notorious for being a major source of failure in operating systems. In analysing a sample of real defects in Linux drivers, we found that a large proportion (39...