1788 search results - page 142 / 358 » Model Theory for Process Algebra |
163
click to vote
SODA
2010
ACM
16 years 3 months ago
2010
ACM
We study the computational complexity of some central analysis problems for One-Counter Markov Decision Processes (OC-MDPs), a class of finitely-presented, countable-state MDPs. O...
190
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Social Network Marketing techniques employ pre-existing social networks to increase brands or products awareness through word-of-mouth promotion. Full understanding of social netw...
153
click to vote
CALCO
2007
Springer
16 years 16 days ago
2007
Springer
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatype...
184
click to vote
CISSE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract-- This article analyzes experiment results regarding subjective perception of a web application. Software quality models, since the first publications on this subject, pro...
151
click to vote
CMOT
2007
15 years 6 months ago
2007
Organizations change with the dynamics of the world. To enable organizations to change, certain structures and capabilities are needed. As all processes, a change process has an or...