Sciweavers

4678 search results - page 126 / 936
» Integrated University Information Systems
Sort
View
DEXAW
2000
IEEE
149views Database» more  DEXAW 2000»
15 years 3 months ago
A Flexible Mobile-Agent Framework for Accessing Information Systems in Disconnected Computing Environments
Over the last few years, the importance of mobile computing as been steadily increasing. While it is important to provide support for accessing databases in disconnected computing...
Paulo Marques, Luís Moura Silva, Joã...
TCS
2008
14 years 11 months ago
Integration of a security type system into a program logic
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
Reiner Hähnle, Jing Pan, Philipp Rümmer,...
ICADL
2005
Springer
139views Education» more  ICADL 2005»
15 years 5 months ago
Enhancing Services in a Digital Age - 10 Years of Experience from the Systems Librarians' Perspective
This paper is an attempt by the authors to share their experiences in equipping a young academic library with the information technologies needed to enhance services in a digital e...
Edward F. Spodick, Ki-Tat Lam
PVM
1999
Springer
15 years 4 months ago
Building MPI for Multi-Programming Systems Using Implicit Information
Abstract. With the growing importance of fast system area networks in the parallel community, it is becoming common for message passing programs to run in multi-programming environ...
Frederick C. Wong, Andrea C. Arpaci-Dusseau, David...
METMBS
2003
15 years 1 months ago
Management of Streaming Body Sensor Data for Medical Information Systems
Data retrieved from body sensors such as ECG machines and new-generation multi-sensor systems such as respiratory monitors are varied and abundant. Managing and integrating this s...
Alfonso F. Cardenas, Raymond K. Pon, Robert B. Cam...