3273 search results - page 294 / 655 » types 2007 |
201
click to vote
SCAM
2007
IEEE
16 years 1 months ago
2007
IEEE
Crosscutting concerns consist in software system features having the implementation spread across modules as tangled and scattered code. In many cases, these crosscutting concerns...
172
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
179
click to vote
SEMCO
2007
IEEE
16 years 1 months ago
2007
IEEE
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
171
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Existing learning-based multi-modal biometric fusion techniques typically employ a single static Support Vector Machine (SVM). This type of fusion improves the accuracy of biome...
207
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...