626 search results - page 9 / 126 » Towards a Unified Programming Language |
VLC
2002
13 years 9 months ago
2002
In this paper, we introduce an XML-based Hierarchical QoS Markup Language, called HQML, to enhance distributed multimedia applications on the World Wide Web (WWW) with Quality of ...
CONCUR
2008
Springer
13 years 11 months ago
2008
Springer
In this paper, we present a unified approach to evaluating the relative expressive power of process calculi. In particular, we identify a small set of criteria (that have already b...
VL
2003
IEEE
14 years 3 months ago
2003
IEEE
FAC
2006
13 years 9 months ago
2006
Hoare and He's unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates; it supports development in several programming paradigms. T...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...