805 search results - page 104 / 161 » Location-Based Software Modeling and Analysis: Tropos-Based ... |
115
click to vote
CSSE
2008
IEEE
15 years 4 months ago
2008
IEEE
—At present, Web services are created and updated on the fly. It has already beyond the human ability to analysis them and generate the composition plan manually. It is a problem...
CAV
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
GI
2005
Springer
15 years 3 months ago
2005
Springer
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
WSC
2008
15 years 1 days ago
2008
Many general-purpose simulation languages (such as ARENA, SLAM II, GPSS/H, SIMAN etc) have been the major simulation tools to simulate the demand-supply processes. They have made ...
MA
2000
Springer
15 years 1 months ago
2000
Springer
In a de-regulated market the distribution utilities will compete with added value for the customer in addition to the delivery of energy. We describe a system consisting of a colle...