Sciweavers

5838 search results - page 495 / 1168
» A File System for System Programming in Ubiquitous Computing
Sort
View
VL
1992
IEEE
153views Visual Languages» more  VL 1992»
15 years 10 months ago
MAVIS: A Visual Environment for Active Computer Vision
MAVIS is a dataflow visual languagefor computer vision and image processing. It features a high degree of `liveness' and compliance with user directives, providing ajexible e...
Thomas J. Olson, Nicholas G. Klop, Mark R. Hyett, ...
SIGCSE
2005
ACM
122views Education» more  SIGCSE 2005»
16 years 1 days ago
Design process for a non-majors computing course
There is growing interest in computing courses for non-CS majors. We have recently built such a course that has met with positive response. We describe our design process, which i...
Mark Guzdial, Andrea Forte
NPC
2005
Springer
15 years 12 months ago
A Performance-Based Parallel Loop Self-scheduling on Grid Computing Environments
Efficient loop scheduling on parallel and distributed systems depends mostly on load balancing, especially on heterogeneous PC-based cluster and grid computing environments. In thi...
Wen-Chung Shih, Chao-Tung Yang, Shian-Shyong Tseng
FASE
2003
Springer
15 years 11 months ago
Spatial Security Policies for Mobile Agents in a Sentient Computing Environment
Abstract. A Sentient Computing environment is one in which the system is able to perceive the state of the physical world and use this information to customise its behaviour. Mobil...
David Scott, Alastair R. Beresford, Alan Mycroft
CIE
2006
Springer
15 years 10 months ago
Coinductive Proofs for Basic Real Computation
We describe two representations for real numbers, signed digit streams and Cauchy sequences. We give coinductive proofs for the correctness of functions converting between these tw...
Tie Hou