3028 search results - page 202 / 606 » Integrating Temporal Logics |
265
click to vote
FGR
2011
IEEE
14 years 10 months ago
2011
IEEE
—An expression can be approximated by a sequence of temporal segments called neutral, onset, offset and apex. However, it is not easy to accurately detect such temporal segments ...
247
click to vote
FUIN
2007
15 years 7 months ago
2007
Mazurkiewicz traces form a model for concurrency. Temporal logic st-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical prop...
195
click to vote
DIWEB
2001
15 years 8 months ago
2001
The demand for data integration is rapidly becoming larger as more and more information sources appear in modern enterprises. In many situations a logical (rather than physical) i...
204
click to vote
EUROMICRO
2009
IEEE
16 years 2 months ago
2009
IEEE
—Current architectures for systems integration provide means for forming agile business processes by manually or dynamically configuring the components. However, a major challeng...
200
click to vote
LPNMR
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. The rapid expansion of the Internet and World Wide Web led to growing interest in data and information integration, which should be capable to deal with inconsistent and ...