523 search results - page 67 / 105 » A General Model for Reachability Testing of Concurrent Progr... |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors and effect deconstructors; it also provides a link wit...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Pervasive computing software adapts its behavior according to the changing contexts. Nevertheless, contexts are often noisy. Context inconsistency resolution provides a cleaner pe...
ICALP
2005
Springer
14 years 2 months ago
2005
Springer
Bigraphs are emerging as a (meta-)model for concurrent calculi, like CCS, ambients, πcalculus, and Petri nets. They are built orthogonally on two structures: a hierarchical place...
QRE
2010
2010
Improving quality of prediction in highly dynamic environments using approximate dynamic programming
13 years 7 months ago
In many applications, decision making under uncertainty often involves two steps- prediction of a certain quality parameter or indicator of the system under study and the subseque...
WCRE
1999
IEEE
14 years 24 days ago
1999
IEEE
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...