1593 search results - page 277 / 319 » A visual programming system for automated problem solving |
141
click to vote
ISSA
2004
15 years 4 months ago
2004
This paper attempts to address the issue of hardening the internal security of an organisation's network by easing its patch management. Traditionally security has been model...
227
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
120
Voted
ACMACE
2006
ACM
15 years 9 months ago
2006
ACM
This paper presents a motion-capture-based control framework for third-person view virtual reality applications. Using motion capture devices, a user can directly control the full...
110
click to vote
PPOPP
2010
ACM
16 years 21 days ago
2010
ACM
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...
135
click to vote
ICARCV
2008
IEEE
15 years 10 months ago
2008
IEEE
— We consider a discrete-time dynamical system with Boolean and continuous states, with the continuous state propagating linearly in the continuous and Boolean state variables, a...