2293 search results - page 84 / 459 » Temporal Logic in Information Systems |
107
click to vote
DAWAK
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. In the last years, extending OLAP (On-Line Analytical Processing) systems with spatial and temporal features has attracted the attention of of the GIS (Geographic Informa...
ICEIS
2006
IEEE
15 years 3 months ago
2006
IEEE
APCCM
2009
14 years 11 months ago
2009
In life science, deeper understanding of biomolecular systems is acquired by computational modeling and analysis. For the modeling of several kinds of reaction networks, e.g. sign...
101
click to vote
TITS
2011
14 years 4 months ago
2011
—Due to modern pervasive wireless technologies and high-performance monitoring systems, spatio-temporal information plays an important role in areas such as intelligent transport...
129
click to vote
FAABS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...