2153 search results - page 386 / 431 » From Requirements Models to Formal Specifications in B |
AISM
2004
13 years 11 months ago
2004
Although, many organisations have implemented technical solutions to protect information resources from adverse events, internal security breaches continue to occur. Therefore an ...
DATESO
2006
13 years 11 months ago
2006
Abstract. This paper describes a few ideas concerned with geographical information systems (GIS) development. Those ideas come from a GIS development project named GeKon, which is ...
APVIS
2001
13 years 11 months ago
2001
A view is a particular visual representation of a data set. Complex data sets typically require multiple views, each revealing a different aspect of the data. Coordinating the beh...
PDPTA
2003
13 years 11 months ago
2003
The evolution of distributed applications to reflect structural changes or to adapt to specific conditions of the run-time environment is a difficult issue especially if continuou...
CSL
2010
Springer
13 years 10 months ago
2010
Springer
Robust speech recognition in everyday conditions requires the solution to a number of challenging problems, not least the ability to handle multiple sound sources. The specific ca...