6155 search results - page 289 / 1231 » A language for multiple models of computation |
198
click to vote
ICMI
2003
Springer
15 years 12 months ago
2003
Springer
Many user interfaces, from graphic design programs to navigation aids in cars, share a virtual space with the user. Such applications are often ideal candidates for speech interfa...
157
click to vote
DESRIST
2009
Springer
15 years 10 months ago
2009
Springer
As a result of the rigor vs. relevance debate, researchers who focus on design research on organizational problems are beginning to focus on their research methodology’s rigor. ...
174
click to vote
GPCE
2007
Springer
16 years 25 days ago
2007
Springer
Programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an ...
198
click to vote
ICALP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Nested words are a restriction of the class of visibly pushdown languages that provide a natural model of runs of programs with recursive procedure calls. The usual conne...
144
click to vote
IWPSE
2005
IEEE
16 years 8 days ago
2005
IEEE
Humans will have to live with software for a long time. As demonstrated by the Y2K problem, computer professionals used a wrong time scale when thinking about software. Large soft...