972 search results - page 76 / 195 » presence 2007 |
ER
2007
Springer
15 years 6 months ago
2007
Springer
Representation and reasoning about information system (IS) requirements is facilitated with the use of goal models to describe the desired and undesired IS behaviors. One difficul...
113
click to vote
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...
EUROGP
2007
Springer
15 years 6 months ago
2007
Springer
A Genetic Programming based boosting ensemble method for the classification of distributed streaming data is proposed. The approach handles flows of data coming from multiple loc...
EUROPAR
2007
Springer
15 years 6 months ago
2007
Springer
In this work we present the design principles of a wearable positioning system for users in unprepared indoor environments. We describe the most suitable technology for our applica...
EUROPAR
2007
Springer
15 years 6 months ago
2007
Springer
Computer systems are increasingly parallel and heterogeneous, while programs are still largely written in sequential languages. The obvious suggestion that the compiler should auto...