553 search results - page 80 / 111 » Learning Meets Verification |
104
click to vote
TSE
1998
14 years 11 months ago
1998
—New protocols are often useful, but are hard to implement well. Protocol synthesis is a solution, but synthesized protocols can be slow. Implementing protocols will be even more...
EMSOFT
2011
Springer
13 years 11 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
113
click to vote
ICML
1998
IEEE
16 years 18 days ago
1998
IEEE
Production scheduling, the problem of sequentially con guring a factory to meet forecasted demands, is a critical problem throughout the manufacturing industry. The requirement of...
SIGCSE
2009
ACM
16 years 11 days ago
2009
ACM
Deaf and hard of hearing students are an underrepresented group in computing and face extra challenges in university-level computing courses. This paper describes a 9-week Summer ...
103
click to vote
AISADM
2007
Springer
15 years 6 months ago
2007
Springer
We believe that intelligent information agents will represent their users interest in electronic marketplaces and other forums to trade, exchange, share, identify, and locate goods...