6757 search results - page 335 / 1352 » Knowledge Analysis on Process Models |
167
click to vote
HYBRID
2007
Springer
16 years 26 days ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
202
click to vote
AICT
2006
IEEE
16 years 23 days ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
204
click to vote
IJCV
2007
15 years 6 months ago
2007
Robots often incorporate computational models of visual attention to streamline processing. Even though the number of visual attention systems employed on robots has increased dram...
185
click to vote
ENGL
2008
15 years 5 months ago
2008
Mobile application development belongs on the complicated, but quite regular software development environment that includes many different solutions possibilities in the developmen...
197
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—This paper builds a generic modeling framework for analyzing the edge-creation process in dynamic random graphs in which nodes continuously alternate between active and inactive...