3024 search results - page 499 / 605 » Requirement Engineering in Service-Oriented System Engineeri... |
184
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
158
click to vote
MABS
2004
Springer
15 years 11 months ago
2004
Springer
The emerging ”Computational Grid” infrastructure poses many new opportunities for the developing science of large scale multiagent simulation. The ability to migrate agent expe...
149
click to vote
MABS
2004
Springer
15 years 11 months ago
2004
Springer
Since Holland (1993) introduced the concept of tags as a possible cooperation forming mechanism in evolving system (among other things) a number of tag models with intriguing, and ...
162
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
170
click to vote
DSN
2002
IEEE
15 years 10 months ago
2002
IEEE
Traditional problem determination techniques rely on static dependency models that are difficult to generate accurately in today’s large, distributed, and dynamic application e...