24421 search results - page 4579 / 4885 » Communicating Complex Systems |
144
click to vote
ICFEM
2009
Springer
15 years 2 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
166
click to vote
ICSM
2009
IEEE
15 years 2 months ago
2009
IEEE
Software can be considered a live entity, as it undergoes many alterations throughout its lifecycle. Furthermore, developers do not usually retain a good design in favor of adding...
170
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
This report outlines the use of a relational representation in a Multi-Agent domain to model the behaviour of the whole system. A desired property in this systems is the ability of...
167
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: Since its inception, proteomics has essentially operated in a discovery mode with the goal of identifying and quantifying the maximal number of proteins in a sample. I...
185
click to vote
TITB
2010
14 years 11 months ago
2010
Mobile sensor-based systems are emerging as promising platforms for healthcare monitoring. An important goal of these systems is to extract physiological information about the subj...