Sciweavers

2002 search results - page 267 / 401
» Interactive technical illustration
Sort
View
100
Voted
CORR
2010
Springer
88views Education» more  CORR 2010»
14 years 11 months ago
Architectural Support for Global Smart Spaces
Abstract. A GLObal Smart Space (GLOSS) provides support for interaction amongst people, artefacts and places while taking account of both context and movement on a global scale. Cr...
Alan Dearle, Graham N. C. Kirby, Ronald Morrison, ...
97
Voted
ER
2010
Springer
144views Database» more  ER 2010»
14 years 11 months ago
Building Dynamic Models of Service Compositions with Simulation of Provision Resources
Efficient and competitive provision of service compositions depends both on the composition structure, and on planning and management of computational resources necessary for prov...
Dragan Ivanovic, Martin Treiber, Manuel Carro, Sch...
118
Voted
IFM
2010
Springer
204views Formal Methods» more  IFM 2010»
14 years 11 months ago
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce,...
ITS
2010
Springer
209views Multimedia» more  ITS 2010»
14 years 11 months ago
Persuasive Dialogues in an Intelligent Tutoring System for Medical Diagnosis
Being able to argue with a student to convince her or him about the rationale of tutoring hints is an important component of pedagogy. In this paper we present an argumentation fra...
Amin Rahati, Froduald Kabanza
NPC
2010
Springer
14 years 11 months ago
Exposing Tunable Parameters in Multi-threaded Numerical Code
Achieving high performance on today’s architectures requires careful orchestration of many optimization parameters. In particular, the presence of shared-caches on multicore arch...
Apan Qasem, Jichi Guo, Faizur Rahman, Qing Yi