Sciweavers

2623 search results - page 278 / 525
» tools 2010
Sort
View
GIS
2010
ACM
15 years 7 days ago
Geoblogging: user-contributed geospatial data collection and fusion
One cannot deny that space and time are important to us. We perceive our world with respect to where and when we do things. We advocate geoblogging as a tool to capture such exper...
Dieter Pfoser, Charikleia Lontou, Euthymios Drymon...
IFIP
2010
Springer
15 years 6 days ago
A Formal Analysis of Authentication in the TPM
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...
Stéphanie Delaune, Steve Kremer, Mark Dermo...
JAISE
2010
124views Algorithms» more  JAISE 2010»
15 years 5 days ago
Exploring the responsibilities of single-inhabitant Smart Homes with Use Cases
This paper makes a number of contributions to the field of requirements analysis for Smart Homes. It introduces Use Cases as a tool for exploring the responsibilities of Smart Home...
Paul Lyons, An Tran Cong, H. Joe Steinhauer, Steph...
OR
2010
Springer
15 years 4 days ago
A new multi-objective optimization formulation for rail-car fleet sizing problems
Abstract With potential application to a variety of industries, fleet sizing problems present a prevalent and significant challenge for engineers and managers. This is especially t...
Hamid Reza Sayarshad, Timothy Marler
SBMF
2010
Springer
132views Formal Methods» more  SBMF 2010»
15 years 3 days ago
Midlet Navigation Graphs in JML
Abstract. In the context of the EU project Mobius on Proof Carrying Code for Java programs (midlets) on mobile devices, we present a way to express midlet navigation graphs in JML....
Wojciech Mostowski, Erik Poll