5054 search results - page 370 / 1011 » How designers design and program interactive behaviors |
179
click to vote
KBSE
2010
IEEE
15 years 6 months ago
2010
IEEE
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state d...
213
click to vote
MHCI
2005
Springer
16 years 1 months ago
2005
Springer
In this paper, we present a solution for dynamic generation of Web user interfaces that can dynamically migrate among different platforms. The solution is based on a migration/pro...
213
click to vote
CAL
2005
15 years 7 months ago
2005
This paper shows that if the execution of a program is divided into distinct intervals, it is possible for one processor or configuration to provide the best power efficiency over ...
228
click to vote
BIOCOMP
2007
15 years 9 months ago
2007
Background: Genetic regulatory networks (GRN) can be described by differential equations with SUM logic which has been found in many natural systems. Identification of the network...
206
click to vote
KBSE
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...