Haku
Viitteet 1-8 / 8
Visual customer segmentation and behavior analysis : a SOM-based approach
(Turku Centre for Computer Science (TUCS), 2013-10-18)
Reusable formal architectures for networked systems
(Turku Centre for Computer Science (TUCS), 2013-09-13)
Today's networked systems are becoming increasingly complex and diverse. The current simulation and runtime verification techniques do not provide support for developing such systems efficiently; moreover, the reliability ...
Consistency of UML based designs using ontology reasoners
(Turku Centre for Computer Science (TUCS), 2013-12-19)
Software plays an important role in our society and economy. Software development is an intricate process, and it comprises many different tasks: gathering requirements, designing new solutions that fulfill these requirements, ...
Drivers and barriers of mobile travel and tourism service adoption : a study of individual perceptions and business model development in a travel and tourism context
(Åbo Akademi - Åbo Akademi University, 2013-10-11)
The Travel and Tourism field is undergoing changes due to the rapid development of information technology and digital services. Online travel has profoundly changed the way travel and tourism organizations interact with ...
Formal development and quantitative verification of dependable systems
(Turku Centre for Computer Science (TUCS), 2013-01-28)
Modern software-intensive systems are becoming increasingly complex. Yet
we are observing the pervasive use of software in such critical infrastructures
as transportation systems, healthcare, telecommunication, energy ...
Scaling up stepwise feature introduction to construction of large software systems
(Turku Centre for Computer Science (TUCS), 2013-08-22)
Developing software is a difficult and error-prone activity. Furthermore, the complexity of modern computer applications is significant. Hence,an organised approach to software construction is crucial.
Stepwise Feature ...
Towards combining interactive mobile TV and smart spaces : architectures, tools and application development
(Turku Centre for Computer Science (TUCS), 2013-02-15)
Technological developments in microprocessors and ICT landscape have made a shift to a new era where computing power is embedded in numerous small distributed objects and devices in our everyday lives. These small computing ...
Mapping financial stability
(Turku Centre for Computer Science (TUCS), 2013-06-07)
The ongoing global financial crisis has demonstrated the importance of a systemwide, or macroprudential, approach to safeguarding financial stability. An essential part of macroprudential oversight concerns the tasks of ...