4737 search results - page 661 / 948 » The LOGIC negotiation model |
204
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
192
click to vote
ICLP
1999
Springer
15 years 11 months ago
1999
Springer
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the...
225
click to vote
MAAMAW
1994
Springer
15 years 11 months ago
1994
Springer
One objective of distributed artificial intelligence research is to build systems that are capable of cooperative problem solving. To this end, a number of implementation-oriented ...
198
click to vote
CAISE
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...
194
click to vote
ISTA
2008
15 years 8 months ago
2008
Seamless exchange of models among different modeling tools increasingly becomes a crucial prerequisite for the success of modeldriven engineering. Current best practices use model ...