12670 search results - page 316 / 2534 » Requirements Modeling |
148
click to vote
CEC
2005
IEEE
16 years 10 days ago
2005
IEEE
Real-world applications generally distinguish themselves from theoretical developments in that they are much more complex and varied. As a consequence, better models require more d...
165
click to vote
IPPS
2006
IEEE
16 years 22 days ago
2006
IEEE
In this paper a novel job allocation scheme in distributed systems (TAG) is modelled using the Markovian process algebra PEPA. This scheme requires no prior knowledge of job size ...
158
click to vote
TAMC
2009
Springer
16 years 1 months ago
2009
Springer
We show that logical and behavioral equivalence for stochastic Kripke models over general measurable spaces are the same. Usually, this requires some topological assumptions and in...
182
click to vote
CCGRID
2006
IEEE
16 years 24 days ago
2006
IEEE
Market-based resource management is becoming an emerging issue as the utilization of Grid computing is growing rapidly, particularly in the business field. In this paper, we prov...
199
Voted
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...