124 search results - page 19 / 25 » McErlang: a model checker for a distributed functional progr... |
ISPAN
2002
IEEE
14 years 11 days ago
2002
IEEE
Abstract— In this paper, we propose an ontology specification for JavaBean programs, the object component model of Java. Our specification is written using the DAML+OIL languag...
UML
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. Current software systems increasingly consist of distributed interacting components. The use of web services and similar middleware technologies strongly fosters such arc...
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...
IGPL
2011
13 years 2 months ago
2011
This paper presents J-MADeM, a multi-modal decision making mechanism to provide agents in a Multi-Agent Systems (MAS) with a market-based model for complex decision problems. J-MA...