5863 search results - page 776 / 1173 » On Model-Checking of P Systems |
151
Voted
WORDS
2003
IEEE
16 years 2 days ago
2003
IEEE
Timing analysis is a crucial test for dependable hard real-time systems (DHRTS). The calculation of the worst-case execution time (WCET) is mandatory. As modern compilers are capa...
155
click to vote
DEBS
2003
ACM
16 years 2 days ago
2003
ACM
Publish/subscribe systems are successfully used to decouple distributed applications. However, their efficiency is closely tied to the topology of the underlying network, the desi...
182
click to vote
CAISE
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. Alignment of application architecture to business architecture is a central problem in the design, acquisition and implementation of information systems in current large-...
130
Voted
ISMIR
2003
Springer
16 years 12 hour ago
2003
Springer
We have investigated the performance of a hidden Markov model QBH retrieval system on a large musical database. The database is synthetic, generated from statistics gleaned from o...
104
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— In this paper we consider the problem of reconstructing a curve that is partially hidden or corrupted by minimizing the functional R √ 1 + K2 ds, depending both on le...