10733 search results - page 698 / 2147 » Distributed XML design |
198
Voted
VSTTE
2005
Springer
16 years 23 days 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...
227
Voted
ACMIDC
2009
15 years 11 months ago
2009
Informal educational experiences with grandparents and other older adults can be an important component of childrens education, especially in circumstances where high quality educ...
191
Voted
ASSETS
2008
ACM
15 years 9 months ago
2008
ACM
Software developers, designers and researchers have been looking to technology for solutions to help and educate people with autism for over two decades. There are many examples o...
203
click to vote
JNCA
2007
15 years 7 months ago
2007
As the line rates standards are changing frequently to provide higher bit rates, the routers design has become very challenging due to the need for new wire-speed router’s netwo...
194
Voted
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
This paper introduces a procedure for using genetic multiobjective optimization in yacht design. The problem described consists on the optimization of a bulb shape to improve the ...