Sciweavers

154 search results - page 9 / 31
» Towards More Professional Information Systems Development: I...
Sort
View
ECIS
2004
13 years 8 months ago
Symbolic Processes in ERP versus Legacy System Support
Being hailed as possessing the ability to "drive effective business reengineering and management of core and support processes", it is not surprising that Enterprise Res...
Martin M. T. Ng, Michael T. K. Tan
EDBT
2004
ACM
139views Database» more  EDBT 2004»
14 years 7 months ago
GRIDS, Databases, and Information Systems Engineering Research
GRID technology, emerging in the late nineties, has evolved from a metacomputing architecture towards a pervasive computation and information utility. However, the architectural de...
Keith G. Jeffery
CCS
2004
ACM
14 years 24 days ago
Formally verifying information flow type systems for concurrent and thread systems
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
Gilles Barthe, Leonor Prensa Nieto
SCHULE
2001
Springer
13 years 11 months ago
Co-operative ICT-supported learning. A practical approach to design
Abstract: Education is changing, following changes in society. The focus is shifting from teaching towards learning. And Informatics, more particularly Information and Communicatio...
Tom J. van Weert
CSCW
2004
ACM
14 years 25 days ago
Group awareness in distributed software development
Open-source software development projects are almost always collaborative and distributed. Despite the difficulties imposed by distance, these projects have managed to produce lar...
Carl Gutwin, Reagan Penner, Kevin A. Schneider