9640 search results - page 163 / 1928 » Information Systems Development as an Activity |
CCS
2004
ACM
14 years 1 months ago
2004
ACM
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...
ISNN
2005
Springer
14 years 1 months ago
2005
Springer
The assessment of aircraft noise is becoming an increasingly important task in ensuring sustainable airport development. Aircraft noise is influenced by many complex factors and tr...
IADIS
2004
13 years 9 months ago
2004
The e-learning project GOLEM introduces a group and role-oriented concept to the course "Man-Machine Interfaces" at the University of Technology in Hamburg, Germany. Stu...
JOT
2007
13 years 8 months ago
2007
While the dynamic linking mechanism of modern programming languages, such as Java, allows loading of classes dynamically, it does not allow class reloading. Hence, dynamic linking...
ECIS
2003
13 years 9 months ago
2003
Currently, there is no standard instrument for evaluating learning effectiveness. While final examinations and end-of-semester course evaluation surveys can be used to do this, th...