611 search results - page 48 / 123 » Development of SOA-Based Software Systems - an Evolutionary ... |
102
click to vote
SASO
2009
IEEE
15 years 9 months ago
2009
IEEE
—We examine the use of teleological metareasoning for self-adaptation in game-playing software agents. The goal of our work is to develop an interactive environment in which the ...
121
click to vote
SCAM
2008
IEEE
15 years 9 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
129
click to vote
RISE
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
154
click to vote
ANOR
2011
14 years 10 months ago
2011
A vital task facing government agencies and commercial organizations that report data is to represent the data in a meaningful way and simultaneously to protect the confidentialit...
125
click to vote
ESEC
1999
Springer
15 years 7 months ago
1999
Springer
Building software systems out of pre-fabricated components is a very attractive vision. Distributed Component Platforms (DCP) and their visual development environments bring this v...