623 search results - page 60 / 125 » An Algorithm for Automatic Service Composition |
148
click to vote
LICS
1990
IEEE
15 years 8 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
146
Voted
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. As Service-Oriented Architectures are more widely adopted, it becomes more important to adopt measures for ensuring that the services satisfy functional and non-functiona...
123
Voted
WOSP
2004
ACM
15 years 10 months ago
2004
ACM
Designs for distributed systems must consider the possibility that failures will arise and must adopt specific failure detection strategies. We describe and analyze a self-regulat...
118
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
Evolution of multi-agent teams has been shown to be an effective method of solving complex problems involving the exploration of an unknown problem space. These autonomous and het...
144
Voted
SAC
2005
ACM
15 years 10 months ago
2005
ACM
Finding rapidly suitable experts in an organization to compose a team able to solve specific tasks is a typical problem in large consulting firms. In this paper we present a Des...