FTDB
2007
13 years 5 months ago
2007
Database Management Systems (DBMSs) are a ubiquitous and critical component of modern computing, and the result of decades of research and development in both academia and industr...
KER
2006
13 years 5 months ago
2006
This article reviews formal systems that regulate persuasion dialogues. In such dialogues two or more participants aim to resolve a difference of opinion, each trying to persuade ...
EOR
2007
13 years 5 months ago
2007
This paper focuses on the application of the analytical hierarchy process (AHP) technique in the context of sustainable development to establish and optimise health care waste man...
JUCS
2006
13 years 5 months ago
2006
: We cast a new look on time-varying distributed H systems. In their original definition, where only new strings are passed to the next component, this language definition in itsel...
ENVSOFT
2007
13 years 5 months ago
2007
: Integrated environmental resources management is a purposeful activity with the goal to maintain and improve the state of an environmental resource affected by human activities. ...
ENVSOFT
2007
13 years 5 months ago
2007
: Increasingly, models (and modelers) are being asked to address the interactions between human influences, ecological processes, and landscape dynamics that impact many diverse as...
ENVSOFT
2007
13 years 5 months ago
2007
A number of spatial decision support systems (SDSSs) are already available for the systematic planning of conservation reserves. These existing systems offer varying levels of int...
ENTCS
2007
13 years 5 months ago
2007
Action Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper,Multiple Labelled Transit...
ENTCS
2007
13 years 5 months ago
2007
Most software is fragile: even the slightest error, such as changing a single bit, can make it crash. As software complexity has increased, development techniques have kept pace t...
ENTCS
2007
13 years 5 months ago
2007
Software components are now widely used in the development of systems. However, incompatibilities between their behavioural interfaces may make their composition impossible. The o...