819 search results - page 121 / 164 » Using Assumptions to Distribute CTL Model Checking |
96
Voted
ICMCS
2005
IEEE
15 years 6 months ago
2005
IEEE
The existing techniques for shot partitioning either process each shot boundary independently or proceed sequentially. The sequential process assumes the last shot boundary is cor...
80
Voted
TSP
2008
15 years 14 days ago
2008
Abstract--This paper offers a new technique for spatially adaptive estimation. The local likelihood is exploited for nonparametric modeling of observations and estimated signals. T...
127
click to vote
SIGSOFT
2003
ACM
15 years 5 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
104
click to vote
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...
101
click to vote
TSE
2011
14 years 7 months ago
2011
Abstract— The Publish-Subscribe (P/S) communication paradigm fosters high decoupling among distributed components. This facilitates the design of dynamic applications, but also i...