5189 search results - page 362 / 1038 » Modeling architectural patterns using architectural primitiv... |
143
click to vote
BMAS
2000
IEEE
15 years 9 months ago
2000
IEEE
— Sigma-Delta digital to analog converters are less vulnerable to circuit imperfections than their A/D counterparts because they have their noise-shaping loop all in the digital ...
159
click to vote
ISBI
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents a new framework for shape modeling and analysis. A shape instance is described by a curvature-based shape descriptor. A Profile Hidden Markov Model (PHMM) is ...
169
Voted
ICNS
2006
IEEE
15 years 10 months ago
2006
IEEE
– Service-Oriented Programming Model is a new methodology for building service-oriented applications. In the Service-Oriented Programming Model, an application is assembled from ...
127
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
118
click to vote
IRI
2008
IEEE
15 years 11 months ago
2008
IEEE
— We revisit the problem of synthesis of service composition in the context of service oriented architecture from a tree automata perspective. Comparing to existing finite state...