For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during execution. Support for such ev...
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...
This paper presents the Agent MOdeling LAnguage (AMOLA). This language provides the syntax and semantics for creating models of multi-agent systems covering the analysis and design...
Despite continuing advances in machine translation technology, users who lack familiarity with particular foreign languages have no good way to find information in those languages...
Boris Katz, Gary C. Borchardt, Sue Felshin, Yuan K...
This paper provides an overview of the Web Mashup Scripting Language (WMSL) and discusses the WMSL-Profile. It specifies the HTML encoding that is used to import Web Service Descri...
Marwan Sabbouh, Jeff Higginson, Caleb Wan, Salim S...