Sciweavers

933 search results - page 59 / 187
» Multi-paradigm Declarative Languages
Sort
View
CEEMAS
2001
Springer
15 years 8 months ago
Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation
Abstract. In this paper a modelling approach to the dynamics within a multiagent organisation is presented. A declarative, executable temporal modelling language for organisation d...
Catholijn M. Jonker, Jan Treur, Wouter C. A. Wijng...
ENTCS
2008
102views more  ENTCS 2008»
15 years 4 months ago
Programming Languages For Interactive Computing
Traditional programming languages are algorithmic: they are best suited to writing programs that acquire all their inputs before executing and only produce a result on termination...
Roly Perera
AICCSA
2006
IEEE
95views Hardware» more  AICCSA 2006»
15 years 10 months ago
DEPICT: A High-Level Formal Language For Modeling Constraint Satisfaction Problems
: The past decade witnessed rapid development of constraint satisfaction technologies, where algorithms are now able to cope with larger and harder problems. However, owing to the ...
Abdulwahed M. Abbas, Edward P. K. Tsang, Ahmad H. ...
ER
2004
Springer
90views Database» more  ER 2004»
15 years 9 months ago
WUML: A Web Usage Manipulation Language for Querying Web Log Data
In this paper, we develop a novel Web Usage Manipulation Language (WUML) which is a declarative language for manipulating Web log data. We assume that a set of trails formed by use...
Qingzhao Tan, Yiping Ke, Wilfred Ng
CMSB
2008
Springer
15 years 5 months ago
A Language for Biochemical Systems
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
Michael Pedersen, Gordon D. Plotkin