3828 search results - page 234 / 766 » Proof-Based System Engineering Using a Virtual System Model |
142
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
A trace of a workload’s system calls can be obtained with minimal interference, and can be used to drive repeatable experiments to evaluate system configuration alternatives. R...
172
click to vote
HAPTICS
2006
IEEE
16 years 17 days ago
2006
IEEE
The purpose of the Virtual Haptic Back (VHB) project is to develop a realistic haptic/graphical model of the human back that can be used for palpation (diagnosis though touch) in ...
167
click to vote
ICAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Search spammers use questionable search engine optimization techniques to promote their spam links into top search results. Large-scale spammers target commerce queries that they ...
157
click to vote
SEKE
2004
Springer
15 years 12 months ago
2004
Springer
UML statecharts are widely used to specify the dynamic behaviours of systems . To support systematic simulation of such models, we propose an approach to map systems specified usin...
179
click to vote
BCSHCI
2008
15 years 8 months ago
2008
In this paper, we describe the design and evaluation of SMART, an educational system that uses augmented reality for teaching 2nd grade-level concepts, adequate and integrated wit...