Sciweavers

7978 search results - page 58 / 1596
» Representation before computation
Sort
View
ISWC
1997
IEEE
13 years 12 months ago
Towards Situated Computing
Situated computing concerns the ability of computing devices to detect, interpret and respond to aspects of the user’s local environment. In this paper, we use our recent protot...
Richard Hull 0002, Philip Neaves, James Bedford-Ro...
CATA
2003
13 years 9 months ago
Scheduling Imprecise Computations with Wind-up Parts
The imprecise computation model provides the ability to cope with unpredictable workloads. However, there is no consistent way on how to terminate the computation in its early sta...
Hidenori Kobayashi, Nobuyuki Yamasaki, Yuichiro An...
FGCS
2002
138views more  FGCS 2002»
13 years 7 months ago
Armada: a parallel I/O framework for computational grids
High-performance computing increasingly occurs on "computational grids" composed of heterogeneous and geographically distributed systems of computers, networks, and stor...
Ron Oldfield, David Kotz
PUC
2002
85views more  PUC 2002»
13 years 7 months ago
The Media Equation Does Not Always Apply: People are not Polite Towards Small Computers
: The Media Equation asserts that people treat and behave towards computers in much the same way as towards other people, for example regarding politeness. We report the results of...
Mikael Goldstein, Gunilla Alsiö, Jost Werdenh...
ICSE
2008
IEEE-ACM
14 years 8 months ago
Formal verification of an automotive scenario in service-oriented computing
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Fr...