1370 search results - page 239 / 274 » On the Consistent Observation of Active Systems |
ATAL
2007
Springer
14 years 21 days ago
2007
Springer
We investigate the properties of a multiagent system where each (distributed) agent locally perceives its environment. Upon perception of an unexpected event, each agent locally c...
HYBRID
2010
Springer
13 years 10 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
BMCBI
2005
13 years 8 months ago
2005
In task 1A of the BioCreAtIvE evaluation, systems had to be devised that recognize words and phrases forming gene or protein names in natural language sentences. We approach this ...
PROMISE
2010
13 years 3 months ago
2010
Background: Defects are related to failures and they do not have much power for indicating a higher quality or a better system above the baseline that the end-users expect. Nevert...
DSVIS
2008
Springer
13 years 10 months ago
2008
Springer
Specifying user interfaces consists in a fundamental activity in the user interface development life cycle as it informs the subsequent steps. Good quality specifications could lea...