91 search results - page 17 / 19 » A Tool for Generating Model Transformations By-Example in Mu... |
IFM
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
HICSS
2007
IEEE
14 years 21 days ago
2007
IEEE
Technology to support knowledge transfer and cooperative inquiry must offer its users the ability to effectively interpret knowledge structures produced by collaborators. Communic...
ENVSOFT
2007
13 years 6 months ago
2007
A multi-agent model of social and environmental complexity of deforestation was developed for the Caparo Forest Reserve, Venezuela. It includes three types of agents: settlers, go...
SAC
2008
ACM
13 years 5 months ago
2008
ACM
This paper introduces an approach to develop componentbased adaptive distributed applications. Our approach separates the communication and the functional aspects of a distributed...
WORDS
2005
IEEE
13 years 12 months ago
2005
IEEE
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...