2558 search results - page 245 / 512 » Model Composition Contracts |
137
click to vote
BMCBI
2008
2008
Identification of Proteins Secreted by Malaria Parasite into Erythrocyte using SVM and PSSM profiles
15 years 5 months ago
Background: Malaria parasite secretes various proteins in infected RBC for its growth and survival. Thus identification of these secretory proteins is important for developing vac...
152
Voted
ENTCS
2006
15 years 5 months ago
2006
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
129
Voted
ICECCS
2005
IEEE
15 years 10 months ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
160
click to vote
WSC
2007
15 years 7 months ago
2007
Using models in different contexts poses major integration challenges, ranging from technical to conceptual levels. Independently of each other developed model components cannot b...
162
click to vote
ISAMI
2010
15 years 3 months ago
2010
Probabilistic models of languages are fundamental to understand and learn the profile of the subjacent code in order to estimate its entropy, enabling the verification and predicti...