647 search results - page 60 / 130 » Generic Trace Logics |
155
click to vote
ENTCS
2006
15 years 4 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
148
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
Intelligent tutoring systems have demonstrated their utility in a variety of domains. However, they are notoriously resource intensive to build. We report here on the development ...
126
click to vote
CSCLP
2003
Springer
15 years 9 months ago
2003
Springer
ing Soft Constraints: Some Experimental Results on Fuzzy CSPs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107 Stefano Bi...
100
click to vote
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper proposes an original model of the execution time of assembly instructions in superscalar architectures. The approach is based on a rigorous mathematical model and provi...
141
click to vote
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
Finding the root-cause of a network security anomaly is essential for network operators. In our recent work [1, 5], we introduced a generic technique that uses frequent itemset mi...