5525 search results - page 91 / 1105 » Verification of Model Transformations |
ICMCS
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper, we present an improved method of anchor models for speaker verification. Anchor model is the method that represent a speaker by his relativity of a set of other sp...
ICESS
2005
Springer
15 years 3 months ago
2005
Springer
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
103
click to vote
BMCBI
2007
14 years 10 months ago
2007
Background: Biomolecular networks dynamically respond to stimuli and implement cellular function. Understanding these dynamic changes is the key challenge for cell biologists. As ...
ENTCS
2006
14 years 9 months ago
2006
The Advanced Microcontroller Bus Architecture (AMBA) is an open System-onChip bus protocol for high-performance buses on low-power devices. We demonstrate the combined use of mode...
ATVA
2007
Springer
15 years 1 months ago
2007
Springer
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...