4258 search results - page 562 / 852 » Languages and Interactive Software Development |
139
click to vote
AVI
2008
15 years 5 months ago
2008
In many interactive scenarios, the fast recognition and localization of crucial information is very important to effectively perform a task. However, in information visualization...
166
click to vote
ICST
2010
IEEE
15 years 2 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
131
click to vote
CSMR
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--In contrast to conventional multi-page Web applications, an Ajax application is developed as a single-page application in which content and structure are changed at runti...
138
click to vote
TASE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
122
click to vote
COORDINATION
2004
Springer
15 years 9 months ago
2004
Springer
Adapting heterogeneous software components that present mismatching interaction behaviour is one of the crucial problems in Component-Based Software Engineering. The process of com...