523 search results - page 64 / 105 » A General Model for Reachability Testing of Concurrent Progr... |
JAIR
2010
13 years 8 months ago
2010
Decentralized planning in uncertain environments is a complex task generally dealt with by using a decision-theoretic approach, mainly through the framework of Decentralized Parti...
OOPSLA
2007
Springer
14 years 3 months ago
2007
Springer
We present the TIC (Transactions with Isolation and Cooperation) model for concurrent programming. TIC adds to standard transactional memory the ability for a transaction to obser...
PROCEDIA
2011
13 years 18 days ago
2011
A new challenge in scientific computing is to merge existing simulation models to create new higher fidelity combined (often multi-level) models. While this challenge has been a...
UM
2007
Springer
14 years 3 months ago
2007
Springer
A standing question in the field of Intelligent Tutoring Systems and User Modeling in general is what is the appropriate level of model granularity (how many skills to model) and h...
SIGSOFT
1996
ACM
14 years 1 months ago
1996
ACM
ing Dependencies between Software Configuration Items CARL A. GUNTER University of Pennsylvania icle studies an abstract model of dependencies between software configuration items ...