3335 search results - page 194 / 667 » A Unified Approach to Modeling and Programming |
237
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
186
click to vote
AMAST
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
212
click to vote
SIGIR
2004
ACM
16 years 1 days ago
2004
ACM
Information filtering has made considerable progress in recent years.The predominant approaches are content-based methods and collaborative methods. Researchers have largely conc...
151
click to vote
KBSE
2003
IEEE
15 years 12 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
152
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
WebLQM is a system with capabilities to locate, query and mine web communities on the Internet. WebLQM has a special way to define the World Wide Web, its contents and relations. ...