557 search results - page 98 / 112 » The L4.verified Project - Next Steps |
MLMI
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. An important step to bring speech technologies into wide deployment as a functional component in man-machine interfaces is to free the users from close-talk or desktop mi...
ICWE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Engineering adaptable Web Information Systems (WIS) requires systematic design models and specification frameworks. A complete model-driven methodology like Hera disting...
75
Voted
HICSS
2003
IEEE
15 years 2 months ago
2003
IEEE
A growing part of population is used to performing transactions on-line via the Internet, even in relationships to authorities. Not even the health care sector can escape this tre...
VISUALIZATION
2003
IEEE
15 years 2 months ago
2003
IEEE
In this paper, we describe a set of 3D and 4D visualization tools and techniques for CORIE, a complex environmental observation and forecasting system (EOFS) for the Columbia Rive...
GECCO
2003
Springer
15 years 2 months ago
2003
Springer
This paper assumes a search space of fixed-length strings, where the size of the alphabet can vary from position to position. Structural crossover is mask-based crossover, and thu...