4047 search results - page 673 / 810 » Algebraic Model Checking |
163
click to vote
ECOOP
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
161
click to vote
AAAI
2008
15 years 7 months ago
2008
The construction of causal graphs from non-experimental data rests on a set of constraints that the graph structure imposes on all probability distributions compatible with the gr...
136
Voted
DAS
2008
Springer
15 years 6 months ago
2008
Springer
Certain forms of mathematical expression are used more often than others in practice. A quantitative understanding of actual usage can provide additional information to improve th...
140
click to vote
EDM
2008
15 years 6 months ago
2008
We present text replays, a method for generating labels that can be used to train classifiers of student behavior. We use this method to label data as to whether students are gamin...
126
click to vote
ACSW
2006
15 years 6 months ago
2006
Owners of systems and resources usually want to control who can access them. This must be based on having a process for authorising certain parties, combined with mechanisms for e...