125 search results - page 20 / 25 » Combining Theories with Shared Set Operations |
107
Voted
ICPADS
2000
IEEE
15 years 4 months ago
2000
IEEE
The most costly spatial operation in spatial databases is a spatial join with combines objects from two data sets based on spatial predicates. Even if the execution time of sequen...
100
click to vote
HYBRID
2001
Springer
15 years 4 months ago
2001
Springer
It has been observed that there are a variety of situations in which the most popular hybrid simulation methods can fail to properly detect the occurrence of discrete events. In th...
122
click to vote
SAC
2010
ACM
15 years 6 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
88
Voted
ASIAN
1998
Springer
15 years 3 months ago
1998
Springer
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...
102
Voted
CIIA
2009
15 years 23 days ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...