7892 search results - page 130 / 1579 » Programming with Models |
110
click to vote
HICSS
1997
IEEE
15 years 5 months ago
1997
IEEE
This paper describes ThreadMon, a monitoring tool for improving the performance of multithreaded programs, and how we have used it to examine various aspects of the many-to-many (...
UM
2001
Springer
15 years 5 months ago
2001
Springer
This paper describes how a user modeling knowledge base for personalized TV servers can be generated starting from an analysis of lifestyles surveys. The aim of the research is the...
121
click to vote
LOPSTR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
ICALP
2009
Springer
16 years 1 months ago
2009
Springer
ER
2009
Springer
15 years 8 months ago
2009
Springer