23098 search results - page 4430 / 4620 » Component Based Development |
168
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
178
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
Any computational approach to design, including the use of evolutionary algorithms, requires the transformation of the domain-specific knowledge into a formal design representatio...
167
click to vote
GFKL
2005
Springer
15 years 12 months ago
2005
Springer
Today biometric techniques are based either on passive (e.g. IrisScan, Face) or active methods (e.g. voice and handwriting). In our work we focus on evaluation of the latter. These...
192
click to vote
GI
2005
Springer
15 years 12 months ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
160
click to vote
ICNC
2005
Springer
15 years 12 months ago
2005
Springer
: Two strategies for information exchange between processors in parallel ant colony algorithm are presented. Theses strategies can make each processor choose other processors to co...