4460 search results - page 272 / 892 » Formal methods for interactive systems |
166
Voted
TSP
2008
15 years 6 months ago
2008
Abstract-- This paper addresses the problem of tracking extended objects, such as ships or a convoy of vehicles moving in urban environment. Two Monte Carlo techniques for extended...
167
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: The local connectivity and global position of a protein in a protein interaction network are known to correlate with some of its functional properties, including its e...
144
Voted
CHI
2009
ACM
16 years 6 months ago
2009
ACM
Very large interactive wall displays do not lend themselves to use with traditional interaction modalities such as mice and keyboards. It is necessary that we develop new interact...
161
click to vote
CHIMIT
2009
ACM
16 years 22 days ago
2009
ACM
System administrators are end-users too. And as end-users, they develop tools, create web pages, write command-line scripts, use spreadsheets, and repurpose existing tools. In sho...
177
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...