Sciweavers

2092 search results - page 139 / 419
» A domain specific modeling language for multiagent systems
Sort
View
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
15 years 2 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
SIGADA
2004
Springer
15 years 3 months ago
Model driven development with Ada
System and software development has become an increasingly complex science. With so many emerging devices, processors, systems specification languages, software implementation lan...
Andy Lapping
SYNTHESE
2008
114views more  SYNTHESE 2008»
14 years 10 months ago
Quantified coalition logic
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
ESAW
2004
Springer
15 years 3 months ago
Virtual Enterprise Normative Framework Within Electronic Institutions
Virtual Enterprises are a major trend within the B2B scenario. Technological support towards enabling this cooperation model includes the multi-agent systems paradigm. In this pape...
Henrique Lopes Cardoso, Eugénio C. Oliveira
EUMAS
2006
14 years 11 months ago
OWL-S for Describing Artifacts
Artifacts for Multi-Agent Systems have been defined as runtime entities providing some kind of function or service that agents can fruitfully exploit to achieve their individual o...
Rossella Rubino, Ambra Molesini, Enrico Denti