1975 search results - page 182 / 395 » Property analysis and design understanding |
164
click to vote
ISCAS
1994
IEEE
15 years 10 months ago
1994
IEEE
In this paper a new type of maximally decimated FIR cosine modulated filter banks is proposed. Each analysis and synthesis filter in this filter bank has linear phase. We can desig...
179
click to vote
KBSE
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
192
click to vote
MOBIHOC
2008
ACM
16 years 6 months ago
2008
ACM
The routing performance of delay tolerant networks (DTN) is highly correlated with the distribution of inter-contact times (ICT), the time period between two successive contacts o...
174
click to vote
CIARP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. An important problem in the bioinformatics field is to understand how genes are regulated and interact through gene networks. This knowledge can be helpful for many appl...
190
click to vote
NOMS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Application servers are a core component of a multitier architecture that has become the industry standard for building scalable client-server applications. A client com...