4870 search results - page 432 / 974 » Challenges of component-based development |
176
click to vote
ENTCS
2006
15 years 6 months ago
2006
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the ver...
160
click to vote
ESWA
2006
15 years 6 months ago
2006
We discuss the challenges in developing decision support tools for commercial underwriting and describe how several different approaches to the underwriting problem have been addr...
167
click to vote
ESWA
2006
15 years 6 months ago
2006
Communication is a critical success factor in design. It can be seen as the social and cognitive process by which information is selected, messages are exchanged between interacti...
166
click to vote
ETT
2006
15 years 6 months ago
2006
Abstract-- The benefit of hybrid mobile communication networks combining point-to-point and point-to-multipoint systems should be an optimized transfer of data for both providers a...
163
click to vote
IJWET
2008
15 years 6 months ago
2008
: With the growing popularity of mobile computing and the empowerment of mobile devices by high end-users and decision-makers, the development of architectures based on web service...