The testing process, an implementation is exercised under controlled conditions with the intent of observing deviations with respect to the expected behavior. The development of reactive and real-time systems, this often relies on the execution of test-suites derived from abstractions that focus on finite-state and timed behavior, with the aim of revealing defects related to […]
Predicate in Euclidean space and road networks
A large amount of data is an important operation in a wide range of domains. Felipe et al. has recently extended its study to spatial databases, where keyword search becomes a fundamental building block for an increasing number of real-world applications, and proposed the IR2-Tree. A main limitation of the IR2-Tree is that it only […]