4258 search results - page 717 / 852 » Languages and Interactive Software Development |
131
click to vote
AVI
2010
15 years 1 months ago
2010
The acceleration of rhythm of everyday life requires efficiency and flexibility in daily routines. The real expectations and needs of people concerning intelligent home devices sh...
206
click to vote
FASE
2011
Springer
14 years 6 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
127
click to vote
IUI
2012
ACM
13 years 10 months ago
2012
ACM
Numerous interaction techniques have been developed that make “virtual” pointing at targets in graphical user interfaces easier than analogous physical pointing tasks by invok...
138
click to vote
VLDB
1992
ACM
15 years 7 months ago
1992
ACM
Process-centered software engineering environments, such as Arcadia, impose a variety of requirements on database technology that to date have not been well supported by available...
136
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Software developers often duplicate source code to replicate functionality. This practice can hinder the maintenance of a software project: bugs may arise when two identical code ...