8828 search results - page 1481 / 1766 » Formal methods in practice |
169
click to vote
ACMICEC
2006
ACM
16 years 22 days ago
2006
ACM
Auction mechanism design has traditionally been a largely analytic process, relying on assumptions such as fully rational bidders. In practice, however, bidders often exhibit unkn...
210
click to vote
ITICSE
2006
ACM
16 years 21 days ago
2006
ACM
Often Software Engineering courses approach educating undergraduates in good processes and practices by using a simulated product development environment, following all of the ste...
185
click to vote
PPPJ
2006
ACM
16 years 21 days ago
2006
ACM
The development of a tool for reconstructing UML sequence diagrams from executing Java programs is a challenging task. We implemented such a tool designed to analyze any kind of J...
193
click to vote
SIGCSE
2006
ACM
16 years 21 days ago
2006
ACM
Windows Media Player user interface “skin” creation has proven an extremely effective method to reinforce practical object oriented programming techniques. Skin creation motiv...
185
click to vote
SIGIR
2006
ACM
16 years 21 days ago
2006
ACM
Co-occurrence data is quite common in many real applications. Latent Semantic Analysis (LSA) has been successfully used to identify semantic relations in such data. However, LSA c...