2430 search results - page 421 / 486 » Tool support for quality-driven development of software arch... |
SEMWEB
2001
Springer
15 years 5 months ago
2001
Springer
Ontologies are becoming increasingly prevalent and important in a wide range of e-commerce applications. E-commerce applications are using ontologies to support parametric searches...
CHI
2000
ACM
15 years 5 months ago
2000
ACM
In electronic commerce, a satisfying buyer experience is a key competitive element. We show new techniques for better adapting interaction with an electronic catalog system to act...
126
click to vote
IADIS
2004
15 years 2 months ago
2004
The accelerated development in grid computing has positioned it as a promising next generation computing platform. It enables the creation of virtual organizations (VO) for sharin...
119
click to vote
ISPASS
2003
IEEE
15 years 6 months ago
2003
IEEE
Emerging application domains such as interactive vision, animation, and multimedia collaboration display dynamic scalable parallelism, and high computational requirements, making ...
108
click to vote
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...