3689 search results - page 531 / 738 » A Language with Distributed Scope |
120
click to vote
ISORC
2003
IEEE
15 years 8 months ago
2003
IEEE
SMIL is a markup language which enables us to describe multimedia contents. This paper proposes a design model of SMIL browser functionality for mobile terminals whose resources a...
139
click to vote
ISPDC
2003
IEEE
15 years 8 months ago
2003
IEEE
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...
144
click to vote
ERLANG
2003
ACM
15 years 8 months ago
2003
ACM
VoDKA is a Video-on-Demand server developed using Erlang/OTP. In this paper, the evolution of the core architecture of the system, designed for improving resource modelling, is de...
112
click to vote
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
This paper studies argumentation-based dialogues between agents. It takes a previously defined system by which agents can trade arguments and examines the outcomes of the dialogu...
117
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...