10072 search results - page 379 / 2015 » Composition of Model Programs |
195
click to vote
ICWS
2008
IEEE
15 years 8 months ago
2008
IEEE
Service level agreements (SLAs) impose many nonfunctional requirements on services. Business analysts specify and check these requirements in business process models using tools s...
174
Voted
BMCBI
2008
2008
Identification of Proteins Secreted by Malaria Parasite into Erythrocyte using SVM and PSSM profiles
15 years 6 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...
174
click to vote
ISSRE
2006
IEEE
16 years 24 days ago
2006
IEEE
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...
168
Voted
AMC
2005
15 years 6 months ago
2005
In this paper, we present an application of 0-1 linear programming problem in the indentification of the nondominated paths on a network. To find efficient paths, an adaptationof t...
223
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...