Sciweavers

2036 search results - page 237 / 408
» A generic type-and-effect system
Sort
View
GEOS
2005
Springer
16 years 18 days ago
Processes and Events in Dynamic Geo-Networks
Traditional spatial information systems hold only a single state of the ‘real world’. However, geographic phenomena have not only static but dynamic characteristics. The work d...
Antony Galton, Michael F. Worboys
ISPEC
2005
Springer
16 years 17 days ago
An Open Approach for Designing Secure Electronic Immobilizers
Abstract. The automotive industry has developed electronic immobilizers to reduce the number of car thefts since the mid nineties. However, there is not much information on the cur...
Kerstin Lemke, Ahmad-Reza Sadeghi, Christian St&uu...
JSSPP
2005
Springer
16 years 17 days ago
Co-scheduling with User-Settable Reservations
As grid computing becomes more commonplace, so does the importance of coscheduling these geographically distributed resourcest. Negotiating resource management and scheduling deci...
Kenneth Yoshimoto, Patricia A. Kovatch, Phil Andre...
MHCI
2005
Springer
16 years 17 days ago
Field-based mLearning: who wants what?
The real needs of end users of software technology are often neglected until it is too late. An approach is outlined that puts people before technology, and investigates the real ...
Paul Ryan, Enda Finn
SERA
2005
Springer
16 years 17 days ago
A Model-driven Environment for Component Deployment
This paper presents Deployment Factory, a modeldriven unified environment for deploying componentbased applications. While there are projects aiming to develop a unified deploymen...
Petr Hnetynka