4460 search results - page 625 / 892 » Formal methods for interactive systems |
170
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Programmers reason about their programs using a wide variety of formal and informal methods. Programmers in untyped languages such as Scheme or Erlang are able to use any such met...
142
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
We propose a system to use QR codes and cheap cell phones to alleviate some challenges faced by the chronically homeless. We propose combining the affordability, simplicity and po...
190
click to vote
COMPUTER
2000
15 years 6 months ago
2000
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...
153
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
As driver distraction from in-vehicle devices increasingly becomes a concern on our roadways, researchers have searched for better scientific understanding of distraction along wi...
177
click to vote
ICEIS
2009
IEEE
16 years 1 months ago
2009
IEEE
In an information retrieval system, a thesaurus can be used for query expansion, i.e. adding words to queries in order to improve recall. We propose a semi-automatic and interactiv...