745 search results - page 54 / 149 » A Formal Ontology for a Computational Approach of Time and A... |
IJMMS
2007
13 years 7 months ago
2007
: In information systems that support knowledge-discovery applications such as scientific exploration, reliance on highly structured ontologies as data-organization aids can be lim...
IEEESCC
2008
IEEE
14 years 2 months ago
2008
IEEE
Services can be characterized as activities in which providers and customers co-create value. The need for a tight collaboration between providers and customers is thus an importa...
BMCBI
2008
13 years 7 months ago
2008
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...
FORMATS
2010
Springer
13 years 5 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
CONCUR
1991
Springer
13 years 11 months ago
1991
Springer
We propose a process algebra obtained by adapting the process algebra with continuous relative timing from Baeten and Middelburg [Process Algebra with Timing, Springer, 2002, Chap....