Sciweavers

598 search results - page 39 / 120
» Developing E-Government Integrated Infrastructures: A Case S...
Sort
View
RTAS
2008
IEEE
14 years 1 months ago
Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
Jianliang Yi, Honguk Woo, James C. Browne, Aloysiu...
AH
2004
Springer
14 years 29 days ago
Developing Active Learning Experiences for Adaptive Personalised eLearning
Developing adaptive, rich-media, eLearning courses tends to be a complex, highly-expensive and time-consuming task. A typical adaptive eLearning course will involve a multi-skilled...
Declan Dagger, Vincent P. Wade, Owen Conlan
PERCOM
2010
ACM
13 years 6 months ago
Service-based development of mobile real-time collaboration applications for Social Networks
—Social Networks will unfold their full potential when connected people are enabled to collaborate - any time, appropriate to the current location, activity and computing environ...
Daniel Schuster, Thomas Springer, Alexander Schill
HICSS
2007
IEEE
179views Biometrics» more  HICSS 2007»
14 years 1 months ago
Assessing User Acceptance of a Knowledge Management System in a Global Bank: Process Analysis and Concept Development
Many organizations pursue knowledge management (KM) initiatives, with different degrees of success. One key aspect of KM often neglected in practice is that it not only concerns t...
Cristof Bals, Stefan Smolnik, Gerold Riempp
DEXAW
2005
IEEE
142views Database» more  DEXAW 2005»
14 years 1 months ago
Service Composition for SDIs: Integrated Components Creation
We describe a methodology for creating composite web services, a key ingredient in spatial data infrastructure (SDI) applications, which we demonstrate on an emergency management ...
Carlos Granell, Michael Gould, Francisco Ramos