4258 search results - page 684 / 852 » Languages and Interactive Software Development |
159
Voted
CADE
2009
Springer
16 years 3 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
123
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
111
click to vote
CHI
2005
ACM
16 years 3 months ago
2005
ACM
We are developing a digital writing tool, Polymorphic Letters (PL), to investigate hand and pen movements as they may extend and enrich expression in written language. PL recogniz...
105
click to vote
ACMDIS
2004
ACM
15 years 8 months ago
2004
ACM
Speech-based applications commonly come with web-based or printed manuals. Alternatively, the dialogue can be designed so that users should be able to start using the application ...
146
click to vote
HUC
2004
Springer
15 years 8 months ago
2004
Springer
As the trend towards technology-enriched home environments progresses, the need to enable users to create applications to suit their own lives increases. While several recent proje...