2296 search results - page 19 / 460 » The Expressive Power of Synchronizations |
PPDP
2009
Springer
15 years 6 months ago
2009
Springer
112
click to vote
ATVA
2007
Springer
15 years 5 months ago
2007
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...
101
click to vote
SAC
2010
ACM
2010
ACM
Query systems in similarity-based databases: logical foundations, expressive power, and completeness
15 years 5 months ago
ERSHOV
2001
Springer
15 years 4 months ago
2001
Springer
AGP
1997
IEEE
15 years 3 months ago
1997
IEEE
