2253 search results - page 253 / 451 » An Approach to Specifying Software Frameworks |
172
click to vote
IJCAI
2003
15 years 7 months ago
2003
Traditional single-agent search algorithms usually make simplifying assumptions (single search agent, stationary target, complete knowledge of the state, and sufficient time). The...
190
click to vote
PUK
2000
15 years 7 months ago
2000
Progressive processing plans allow systems to tradeoff computational resources against the quality of service by specifying alternative ways in which to accomplish each step. When ...
152
click to vote
ICWS
2009
IEEE
15 years 4 months ago
2009
IEEE
In SOA, services may become volatile and fail to deliver the quality of service as requested by users. In this paper, we present an approach for repairing failed services by repla...
198
click to vote
CAV
2012
Springer
13 years 8 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
168
click to vote
OTM
2005
Springer
15 years 12 months ago
2005
Springer
Model-driven Architecture (MDA) is a software architecture framework proposed by the Object Management Group OMG. MDA emphasises the importance of modelling in the architectural de...