1689 search results - page 238 / 338 » On Natural Non-dcpo Domains |
168
click to vote
CONCUR
2000
Springer
15 years 10 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
172
click to vote
ITNG
2010
IEEE
15 years 10 months ago
2010
IEEE
There has been a recent push towards applying information technology principles, such as workflows, to bring greater efficiency to reservoir management tasks. These workflows are d...
164
click to vote
ICTAI
1999
IEEE
15 years 10 months ago
1999
IEEE
Recently, there has been much interest in enhancing purely combinatorial formalisms with numerical information. For example, planning formalisms can be enriched by taking resource...
180
click to vote
ICTAI
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we consider two questions related to student modeling in an intelligent tutoring system: 1) What kind of student model should we build when we design a new system; 2...
163
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...