200 search results - page 28 / 40 » Platform-Independent Modelling in MDA: Supporting Abstract P... |
MATES
2009
Springer
14 years 2 months ago
2009
Springer
In this paper we describe the Agent World Editor, a tool for designing multi-agent systems and generating executable agent code. The tool also unifies the handling of different a...
PET
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
CAISE
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. We present a web-publishing platform that was developed by integrating key constructs and operations for web content delivery into the core of an object-oriented database...
WOA
2003
13 years 9 months ago
2003
Abstract— This paper focuses on large-scale distributed systems that can be modeled as workflows of activities sharing resources, knowledge, know-how and services. We propose a ...
CG
2004
Springer
13 years 7 months ago
2004
Springer
The ongoing convergence between TV and the Internet leads traditional broadcast companies to publish their content on the Internet. Interactive digital TV platforms, which support...