8337 search results - page 54 / 1668 » Reasoning With Characteristic Models |
146
click to vote
AUSAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The algorithm selection problem aims to select the best algorithm for an input problem instance according to some characteristics of the instance. This paper presents a l...
118
click to vote
GI
2004
Springer
15 years 9 months ago
2004
Springer
: In this paper we describe the advantages of a model-based approach to embedded component middleware. Component infrastructures such as Enterprise JavaBeans, Microsoft’s COM+ an...
155
click to vote
AGENTCL
2000
Springer
15 years 8 months ago
2000
Springer
In this paper we define the concept of conversation policies: declarative specifications that govern communications between software agents using an agent communication language. ...
118
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
279
Voted
ACSW
2006
15 years 5 months ago
2006
The conventional computing Grid has developed a service oriented computing architecture with a superlocal resource management and scheduling strategy. This architecture is limited...