1102 search results - page 149 / 221 » Generalizing Updates: From Models to Programs |
160
click to vote
CPAIOR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
194
click to vote
SIGSOFT
2003
ACM
16 years 6 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
185
click to vote
UM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Since problem solving in group problem-based learning is a collaborative process, modeling individuals and the group is necessary if we wish to develop an intelligent tut...
174
click to vote
CCS
2007
ACM
16 years 10 days ago
2007
ACM
Security researchers are applying software reliability models to vulnerability data, in an attempt to model the vulnerability discovery process. I show that most current work on t...
296
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...