1922 search results - page 285 / 385 » Systems biology, models, and concurrency |
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
110
click to vote
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
GROUP
2003
ACM
15 years 6 months ago
2003
ACM
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge ...
103
click to vote
ICDE
2010
IEEE
15 years 6 months ago
2010
IEEE
— While planning the execution of report-generation workloads, database administrators often need to know how long different query workloads will take to run. Database systems ru...
110
click to vote
ATAL
2000
Springer
15 years 5 months ago
2000
Springer
In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...